TY  - BOOK
AU  - Joseph, M
TI  - Formal Techniques in Real Time and Fault Tolerant Systems : lecture notes in computer scienc : Proceedings e
SN  - 0003540410554
U1  - 005.12 
PB  - Springer: Tokyo
KW  - formal techniques
ER  -