TY  - BOOK
AU  - Li, Hon F
AU  - Probst, David Karl
ED  - International Federation for Information Processing
TI  - Advances in hardware design and verification : IFIP TC10 WG10.5 international conference on correct hardware and verification methods, 16-18 october 1997, Montreal, Canada
SN  - 9780412813306
U1  - 004.21 LI 
PY  - 1997///
CY  - London
PB  - Chapman & Hall
KW  - Computer engineering
KW  - Computer software--Verification
KW  - Integrated circuits --- IC
ER  -