APA (7th ed.) Citation

Amarù, L. (2017). New data structures and algorithms for logic synthesis and verification. Springer. https://doi.org/10.1007/978-3-319-43174-1

Chicago Style (17th ed.) Citation

Amarù, Luca. New Data Structures and Algorithms for Logic Synthesis and Verification. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-43174-1.

MLA (9th ed.) Citation

Amarù, Luca. New Data Structures and Algorithms for Logic Synthesis and Verification. Springer, 2017. https://doi.org/10.1007/978-3-319-43174-1.