TY  - BOOK
AU  - Gopalakrishnan Ganesh ed.
ED  - International Conference, FMCAD '98 on Formal Methods in Computer-Aided Design (2nd : 4-6 Nov 1998 : California,USA)
ED  - International conference, FMCAD '98 on formal methods in computer-aided design
TI  - Formal methods in computer-aided design
U1  - 4.22 
PY  - 1998///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer architecture
ER  -