˜Einœ mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Bonn, Univ., Diss., 1983 (Nicht f.d. Austausch)

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Eckert, Hans
Format: UnknownFormat
Sprache:ger
Schlagworte:
Verifikation > Programmverifikation > Kommunikationsprotokoll
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!