TY  - BOOK
AU  -  Hachtel, Gary D
TI  - Logic synthesis and verification algorithms
SN  - 9780387310046
U1  - 621.395 
PY  - 1996///
CY  - Boulder
PB  - Springer
ER  -