APA
Hachtel G. D. F., . (2006). Logic Synthesis and Verification Algorithms. New Delhi: Springer.
Chicago
Hachtel Gary DSomengi Fabio, . 2006. Logic Synthesis and Verification Algorithms. New Delhi: Springer.
Harvard
Hachtel G. D. F., . (2006). Logic Synthesis and Verification Algorithms. New Delhi: Springer.
MLA
Hachtel Gary DSomengi Fabio, . Logic Synthesis and Verification Algorithms. New Delhi: Springer. 2006.