TY  - BOOK
AU  - Leeser M Ed.
AU  -  Brown G Ed.
ED  - Workshop on hardware specification verification and synthesis : Mathematical aspects (1989 : Lthaca New York)
TI  - Proceeding on hardware specification verification and synthesis : Mathematical aspects
T2  - Lecture notes in computer science; 408
U1  - D65,8(B)p1,N89, N0 
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -