TY  - BOOK
AU  - Hachtel, Gary D, Samenzi,Fabio
TI  - Logic Synthesis and Verification Algorithms
SN  - NMIT002579
PY  - 2006///
CY  - New Delhi
PB  - Springer
ER  -