TY  - BOOK
AU  - Josepn M Ed.
ED  - Symposium on formal techaniques in real time and fault tolerant systems (1988 : Warwick U K)
TI  - Proceeding on formal techaniques in real time and fault tolerant systems
T2  - Lecture notes in computer science; 331
U1  - D65,8(B)p1,N88, M8 
PY  - 1988///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -