Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Bibliographische Detailangaben

1. Verfasser:	Eckert, Hans (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	München <<[u.a.]>> Oldenbourg 1985
Schriftenreihe:	Berichte der Gesellschaft für Mathematik und Datenverarbeitung 144
Schlagworte:	Kommunikationsprotokoll Verifikation Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!