TY  - BOOK
AU  - Kroger,Fred
AU  - Merz,Stephan
TI  - Temporal logic and state systems 
T2  - Texts in theoretical computer science : An EATCS series
SN  - 9783540674016 (PB)
PY  - 2008///
CY  - Berlin 
PB  - Springer
KW  - Tense (Logic)
KW  - Logic, Symbolic and mathematical
KW  - Time
N1  - Includes bibliographical references (p. [421]-428) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0901/2008921857-d.html
ER  -