TY  - BOOK
AU  - Kavi, Krishna M.
TI  - Real time systems : abstractions languages and design methodologies
SN  - 081863152X
U1  - 007.117  KAV;1  R 
PY  - 1992///
CY  - California
PB  - IEEE Computer Society Press
KW  - abc
ER  -