TY  - BOOK
AU  - Kropf, Thomas
TI  - Introduction to Formal Hardware Verification
SN  - 9783540654452
PY  - 1999///
CY  - Newyork
PB  - Springer Publisher
ER  -