Eine Methode zum Entwurf korrekter Kommunikationsprotokolle mit Weg-Zeit- Diagrammen
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 271095 |
| Erscheinungsvermerk | In: Formale Beschreibungstechniken für verteilte Systeme. 5. GI/ITG-Fachgespräch, Kaiserslautern 1995. Hrsg.: R. Gotzhein. Kaiserslautern : Univ. 1995. S. 31-40. |