Test Pattern Generation using Boolean Proof Engines

MLA

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille, et al. Test Pattern Generation Using Boolean Proof Engines. Springer Netherlands, 2009.

APA

Rolf Drechsler, D. Tille, Drechsler, R., Eggersglüß, S., Fey, G., & Tille, D. (2009). Test Pattern Generation using Boolean Proof Engines. Springer Netherlands.

Chicago

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille., Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, and Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. : Springer Netherlands, 2009.