APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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