KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbolic model checking for a discrete clocked temporal logic with intervals

Ruf, Jürgen; Kropf, Thomas


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Interfakultative Einrichtungen (Interfakultative Einrichtungen)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Englisch
Identifikator KITopen-ID: 128597
Erscheinungsvermerk In: Proceedings. CHARME-97, WG 10.5, Montreal, Canada 1997. Ed.: E. Cerny. London 1997.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page