APA Edition Citation

Hachtel, G. D. (1996). Logic synthesis and verification algorithms. Springer.

Chicago Edition Citation

Hachtel, Gary D. Logic Synthesis and Verification Algorithms. Boulder: Springer, 1996.

MLA Edition Citation

Hachtel, Gary D. Logic Synthesis and Verification Algorithms. Springer, 1996.

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