APA (7th ed.) Citation
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Chicago Style (17th ed.) Citation
Hochtel,Gray D, and Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
MLA (9th ed.) Citation
Hochtel,Gray D, and Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Warning: These citations may not always be 100% accurate.