Hachtel, G. D., & Somenzi, F. (2006). Logic synthesis and verification algorithms. New York: Springer.
Παραπομπή Chicago StyleHachtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Παραπομπή MLAHachtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.