TY  - BOOK
AU  - Leeser M Ed.
ED  - Conference on Hardware Specification and Systnesis (1989 : New York)
ED  - 
TI  - Hardware specification, verification and synthesis : mathematical aspects: proceedings
U1  - 621.381952 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electrical engineering
KW  - Hardware
ER  -