TY  - DATA
AU  - Luca Gaetano Amaru
AU  -  Lech Madeyski
TI  - New Data Structures and Algorithms for Logic Synthesis and Verification
SN  - 9783319431741
PB  - Springer
KW  - Electronic Circuits and Systems
KW  - Engineering
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-43174-1
ER  -