APA (7th ed.) Citation

Drechsler, R. (2000). Formal verification of circuits. Kluwer Academic.

Chicago Style (17th ed.) Citation

Drechsler, Rolf. Formal Verification of Circuits. Boston: Kluwer Academic, 2000.

MLA (8th ed.) Citation

Drechsler, Rolf. Formal Verification of Circuits. Kluwer Academic, 2000.

Warning: These citations may not always be 100% accurate.