Formal techniques in real time and fault tolerant systems : proceedings
Formal techniques in real time and fault tolerant systems : proceedings Berlin Springer Verlag 1994 xiv,787p * Computer system Fault tolerant systems Real time theory
Library, Documentation and Information Science Division,
Indian Statistical Institute,
203 B T Road, Kolkata 700108,
INDIA
Phone no. 91-33-2575 2100,
Fax no. 91-33-2578 1412,
ksatpathy@isical.ac.in