Ein Automatisiertes Verfahren zur Verifikation von Kommunikationsprotokollen Interner Bericht

Bibliographische Detailangaben

1. Verfasser:	Eckert, H. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1981
Ausgabe:	[Mikrofilm-Ausg.]
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!