TY  - BOOK
AU  - Vytopil, J.
AU  - International Symposium on Formal Tech ... Nijmegen 1992
TI  - Formal techniques in real-time and fault-tolerant systems /ed. by J. Vytopil
T2  - Lecture notes in computer science
SN  - 3540550925
U1  - 004.2 
PY  - 1991///
CY  - Berlin
PB  - S-V
ER  -