TY  - SER
AU  - Arora, Anu
AU  - Kulkarni, S. S
TI  - Component Based Design of Multitolerant Systems
KW  -  Formal Methods
KW  - Compositional Analysis
KW  - Dependability
ER  -