APA (7th ed.) Citation

Hachtel, G. D., & Somenzi, F. (1996). Logic Synthesis and Verification Algorithms. Springer US. https://doi.org/10.1007/0-387-31005-3

Chicago Style (17th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. Boston, MA: Springer US, 1996. https://doi.org/10.1007/0-387-31005-3.

MLA (9th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. Springer US, 1996. https://doi.org/10.1007/0-387-31005-3.