TY  - BOOK
AU  - Kropf, Thomas
TI  - Introduction to formal hardware verification
SN  - 3540654453
U1  - 004 
PY  - 1999///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic Digital Computers -- Design And Construction
KW  - Computer Input-Output Equipment
ER  -