APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

Drechsler, Rolf, et al. Test Pattern Generation Using Boolean Proof Engines. Springer Netherlands, 2009.