APA (7th ed.) Citation

Hachtel, G. D., & Somenzi, F. (2003). Logic synthesis and verification algorithms (7. print.). Kluwer.

Chicago Style (17th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. 7. print. Boston [u.a.]: Kluwer, 2003.

MLA (9th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. 7. print. Kluwer, 2003.