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 Buch
Publikationsjahr 1997
Sprache Englisch
Identifikator KITopen-ID: 130497
Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. SFB 358, Universität Karlsruhe. C2-1/97.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page