Statische Verifikation von Softwareprotokollen
| Zugehörige Institution(en) am KIT | FZI Forschungszentrum Informatik (FZI) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2005 |
| Sprache | Deutsch |
| Identifikator | ISBN: 3-86582-141-3 KITopen-ID: 1000003381 |
| Verlag | Monsenstein und Vannerdat OHG |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Prüfungsdaten | 09.06.2004 |
| Referent/Betreuer | Goos, G. |