TY  - BOOK
AU  - Ravn, A.P. (et-al)
TI  - Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings
SN  - 0003540650032
U1  - 005.12 
PB  - Springer: Tokyo
KW  - Formal techniques
ER  -