TY  - BOOK
AU  - Camurati,Paolo E.
AU  - Eveking,Hans
ED  - IFIP WG 10.5 Advanced Research Working Conference, CHARME '95
TI  - Correct hardware design and verification methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings 
SN  - 3540603859
AV  - TK7885.7 I36 1995
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer hardware description languages
KW  - Congresses
ER  -