KIT | KIT-Bibliothek | Impressum

Statische Verifikation von Softwareprotokollen

Bär, Holger



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Hochschulschrift
Jahr 2005
Sprache Deutsch
Identifikator ISBN: 3-86582-141-3
KITopen ID: 1000003381
Verlag Monsenstein und Vannerdat OHG, Münster
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Prüfungsdaten 09.06.2004
Referent/Betreuer Prof. G. Goos
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page