TY  - BOOK
AU  - HACHTEL AND SOMENZI
ED  - NO
TI  - LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS
SN  - 81-8128-483-6
U1  - 621.395 HAC 
PY  - 2006///
PB  - SPRINGER
ER  -