Media type: Book Title: The automata theoretic method works for TCTL model checking Contributor: Dickhöfer, Martin [Author]; Wilke, Thomas [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1998 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9811 Extent: 35 S. Language: English Origination: Footnote: