KIT | KIT-Bibliothek | Impressum

Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung

Kick, Alexander



Zugehörige Institution(en) am KIT Informatik für Ingenieure und Naturwissenschaftler (Inf. für Ing. u. Naturwiss.)
Publikationstyp Hochschulschrift
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 31496
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 11.7.1996.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Informatik für Ingenieure und Naturwissenschaftler (Inf. für Ing. u. Naturwiss.)
Prüfungsdaten Diss. v. 11.7.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page