TY  - BOOK
AU  - Joseph,Mathai
ED  - Symposium On Formal Techniques In Real Time And Fault-tolerant Systems
TI  - Formal techniques in real-time and fault-tolerant systems: 6th International Symposium, FTRTFT 2000, Pune, India, september 20-22, 2000 
T2  - Lecture notes in computer science
SN  - 3540410554
AV  - QA76.54 F67 2000
PY  - 2000///
CY  - Berlin
PB  - Springer Verlag
KW  - Procesamiento de datos en tiempo real
KW  - Congresos
KW  - Computación tolerante a fallas
ER  -