APA (7th ed.) Citation

Drechsler, R. (2000). Formal Verification of Circuits (1st ed. 2000.). Springer US. https://doi.org/10.1007/978-1-4757-3184-2

Chicago Style (17th ed.) Citation

Drechsler, Rolf. Formal Verification of Circuits. 1st ed. 2000. New York, NY: Springer US, 2000. https://doi.org/10.1007/978-1-4757-3184-2.

MLA (9th ed.) Citation

Drechsler, Rolf. Formal Verification of Circuits. 1st ed. 2000. Springer US, 2000. https://doi.org/10.1007/978-1-4757-3184-2.