Treffer: Studies in computer aided verification of protocols
Titel:
Studies in computer aided verification of protocols / door Willem Otto David Griffioen
Verantwortlich:
Veröffentlicht:
[Eindhoven], 2000
Umfang:
XII, 172 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Universiteit Eindhoven. Instituut voor Programmatuurkunde en Algoritmiek: IPA dissertation series ; 2000,4
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Nijmegen, Univ., Diss., 2000
Schlagworte: