On the formal analysis of telecommunication protocols

Zugl.: Uppsala, Univ., Diss., 1994

Bibliographische Detailangaben

1. Verfasser:	Orava, Fredrik (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Uppsala DoCS u.a. 1994
Schriftenreihe:	DoCS 94,46 SICS dissertation series 15
Schlagworte:	Hochschulschrift > Telekommunikation > Protokollierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!