Amaru, L. G. (2020). New Data Structures and Algorithms for Logic Synthesis and Verification. Springer International Publishing.
Trích dẫn kiểu ChicagoAmaru, Luca Gaetano. New Data Structures and Algorithms for Logic Synthesis and Verification. Springer International Publishing, 2020.
Trích dẫn MLAAmaru, Luca Gaetano. New Data Structures and Algorithms for Logic Synthesis and Verification. Springer International Publishing, 2020.
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%.