TY  - GEN
AU  - Kropf, Thomas
TI  - Introduction to formal hardware verification
SN  - 9783540654452
U1  - 621.395 
PY  - 1999///
CY  - Germany
PB  - Springer
KW  - Integrated circuits-Verification; Integrated circuits-Very large scale integration-Computer-aided design; Artificial intelligence
ER  -