Hachtel, G. D., & Somenzi, F. (2006). Logic synthesis and verification algorithms. New York: Springer.
Citação norma ChicagoHachtel, Gary D., e Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Citação norma MLAHachtel, Gary D., e Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.