TY  - BOOK
AU  - Hooman J
TI  - Specification and compositional verification of real-time systems
SN  - 3-540-5494-7
U1  - 005.273 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Real time system
ER  -