KIT | KIT-Bibliothek | Impressum

Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm

Zundel, Armin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Jahr 1998
Sprache Deutsch
Identifikator KITopen ID: 37498
Erscheinungsvermerk Aachen 1998. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 14.2.1997.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 14.2.1997
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page