KIT | KIT-Bibliothek | Impressum | Datenschutz

Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen

Reffel, Frank



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 2001
Sprache Deutsch
Identifikator KITopen-ID: 542001
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Berlin 2001. Fak. f. Informatik, Diss. v. 4.2.2000.
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. 4.2.2000
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page