APA Citation

Hachtel, G. D., & Somenzi, F. (2006). Logic synthesis and verification algorithms. New York: Springer.

Chicago Style Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.

MLA Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.

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