TY  - BOOK
AU  - Hachtel, G D
TI  - Logic Synthesis & Verification Algorithms
SN  - 8-1812-8483-6
PY  - 2006///
PB  - Springer
KW  - Computer & IT
N2  - Engineering
ER  -