TY - BOOK
AU - Dickhöfer, Martin
AU - Wilke, Thomas
TI - The automata theoretic method works for TCTL model checking
PB - Inst. für Informatik und Praktische Mathematik
PY - 1998
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 9811
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation