TY -
BOOK
AU - Kröger, Fred
AU - Merz, Stephan
TI -
Temporal logic and state systems
PB - Springer
SN - 3540674012
SN - 9783540674016
KW - Tense (Logic)
KW - Logic, Symbolic and mathematical
KW - Time
KW - Temporale Logik
KW - Zustandsraum
KW - Transitionssystem
KW - Verifikation
KW - Reaktives System
KW - Model Checking
KW - Abstrakte Zustandsmaschine
KW - Algorithmische Programmiersprache
PY - 2008
N2 - Literaturverz. S. [421] - 428
BT - Texts in theoretical computer science
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -