Guidelines for specification and verification of communication protocols

Bibliographische Detailangaben

1. Verfasser:	Ernberg, Patrik (VerfasserIn)
Körperschaft:	Swedish Institute of Computer Science (Herausgebendes Organ)
Weitere Verfasser:	Fredlund, Lars-Äke (VerfasserIn), Hansson, Hans (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm Swedish Institute of Computer Science 1991
Schriftenreihe:	SICS Perspective 1991, No. 1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!