KIT | KIT-Bibliothek | Impressum | Datenschutz

Exploiting hierarchies in temporal logics, finite automata, arithmetics, and µ-calculus for efficiently verifying reactive systems

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buch
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 4812002
Erscheinungsvermerk Fak. f. Informatik, Habil.-Schr. v. 7.7.2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page