APA (7th ed.) Citation

Molitor, P., Mohnke, J., Becker, B., & Scholl, C. (2004). Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US.

Chicago Style (17th ed.) Citation

Molitor, Paul, Janett Mohnke, Bernd Becker, and Christoph Scholl. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Boston, MA: Springer US, 2004.

MLA (8th ed.) Citation

Molitor, Paul, et al. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer US, 2004.