TY  - BOOK
AU  - OLDEROG, Ernst-Rudiger
AU  - Henning Dierks
TI  - Real-time Systems: Formal Specification and Automatic Verfication
SN  - 9780521883337
U1  - 004.33 OLD 22
PY  - 2008///
CY  - United State of America
PB  - Cambridge
KW  - System
ER  -