TY  - BOOK
AU  - Joseph, Mathai., ed.
TI  - Real-time systems: Specification, Verification and analysis
T2  - Prentice Hall International series in computer science
SN  - 0134552970
U1  - 004.33 
PY  - 1996///
CY  - London
PB  - P-H
ER  -