TY  - BOOK
AU  - Koymans, Ron
TI  - Specifying message passing and time-critical systems with temporal logic
SN  - 3 540 56283 4
AV  - QA9 K68 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
ER  -