TY  - BOOK
AU  - Kroger, Fred
AU  - Merz, Stephan
TI  - Temporal logic and state systems
SN  - 9783540674016
U1  - 160 
PY  - 2008///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic, Symbolic And Mathematical
KW  - Tense (Logic)
ER  -