Studies in computer aided verification of protocols

Nijmegen, Univ., Diss., 2000

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Griffioen, Willem Otto David
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Eindhoven 2000
Schriftenreihe:	IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek 2000,4
Schlagworte:	Protokoll > Verifikation > Computerunterstütztes Verfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Nijmegen, Univ., Diss., 2000
Beschreibung:	XII, 172 S. graph. Darst.