Hachtel, G. D., & Somenzi, F. (2006). Logic synthesis and verification algorithms. New York: Springer.
Trích dẫn kiểu ChicagoHachtel, Gary D., và Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Trích dẫn MLAHachtel, Gary D., và Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.