TY  - GEN
T1  - New data structures and algorithms for logic synthesis and verification
A1  - Amaru, Luca Gaetano
LA  - English
PP  - Cham
PB  - Springer
YR  - 2017
UL  - https://ds.mainlib.upd.edu.ph/Record/UP-99796217613140866
SN  - 9783319431741 (online ISBN)
KW  - Data structures (Computer science)
KW  - Logic circuits.
KW  - Electronic books.
ER  -