TY  - BOOK
AU  - Joseph, Mathai. Ed.
TI  - Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000
SN  - 3540410554
CY  - Berlin
KW  - Formal Techniques
KW  - Real-Time
KW  - Fault-Tolerant Systems
ER  -