TY  - BOOK
AU  - Joseph Mathai Ed.
TI  - Real time systems :  Specification,verification and analysis.     
T2  - Prentice-Hall international series in computer science
U1  - D6,8(B2895), N6 
PY  - 1996///
CY  - London
PB  - Prentice-Hall       
KW  - Real-Time Systems
ER  -