TY  - GEN
AU  - Hachtel, Gary D
TI  - Logic Synthesis and Verification Algorithms
SN  - 81-8128-483-6
U1  - 510 
PY  - 2006///
CY  - New Delhi
PB  - Springer
ER  -