TY  - BOOK
AU  - Molitor,paul and Mohnke,janett
TI  - Equivalence Checking of Digital Circuits
SN  - 1402077254
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic  Publishers 
KW  - Electronics
N1  - xiii,262p,24.7cm; University Book House (p) LTD
ER  -