TY  - BOOK
AU  - Molitor Paul
TI  - Equivalence checking of digital circuits fundamentals principles methods
U1  - 621.395 
PB  - Kiuwer Academic Pub.
KW  - ETC
ER  -