KIT | KIT-Bibliothek | Impressum | Datenschutz

A tableau system for linear-TIME temporal logic

Goubault-Larrecq, Jean; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator KITopen-ID: 239897
Erscheinungsvermerk In: Tools and algorithms for the construction and analysis of systems. TACAS '97. Ed.: E. Brinksma. Berlin 1997. S. 130-144. (Lecture notes in computer science. 1217.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page