Cite
HARVARD Citation
Amaru, L. (2017) New Data Structures and Algorithms for Logic Synthesis and Verification. [Online]. Cham : Springer International Publishing Imprint Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100072315288.0x000001