Joseph, M
Formal techniques in real time and fault-tolerant systems - Berlin Springer-Verlag - Lecture notes in computer science ; 00331 .
681 LNCS
Formal techniques in real time and fault-tolerant systems - Berlin Springer-Verlag - Lecture notes in computer science ; 00331 .
681 LNCS