TY  - BOOK
AU  - Koymans, Ron.
TI  - Specifying message passing and time-critical systems with temporal logic
T2  - Lecture notes in computer science
SN  - 3540562834
U1  - 004.66015113 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
ER  -