KIT | KIT-Bibliothek | Impressum | Datenschutz

Effiziente Modellprüfung des my--Kalküls mit binären Entscheidungsdiagrammen

Biere, Armin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 46797
Verlag Universität Karlsruhe
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 30.1.1997.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 30.1.1997
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page