TY  - BOOK
AU  - Jonsson, B.: Parrow, J.:
TI  - Formal Techniques in Real-Time and Fault -Tolerant Systems : Lecture Notes in Computer Science : Proceedings
SN  - 0003540616489
U1  - 005.12 
PB  - Springer: Tokyo
KW  - Formal Techniques
ER  -