TY  - BOOK
AU  - Koymans Ron
TI  - Specifying message passing and time critical systems with temporal logic
U1  - 005.131 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Temporal logic
ER  -