APA (7th ed.) Citation

Molitor, P., & Mohnke, J. (2004). Equivalence checking of digital circuits: Fundamentals, principles, methods. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Molitor, Paul, and Janett Mohnke. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Boston: Kluwer Academic Publishers, 2004.

MLA (9th ed.) Citation

Molitor, Paul, and Janett Mohnke. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Kluwer Academic Publishers, 2004.