Studies in computer aided verification of protocols een wetenschappelijke proeve op het gebied van de natuurwetenschappen, wiskunde en informatica

Nijmegen, Kath. Univ., Diss., 2000

Bibliographische Detailangaben

1. Verfasser:	Griffioen, Willem Otto David (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Eindhoven IPA 2000
Schriftenreihe:	IPA dissertation series 2000,4
Schlagworte:	Hochschulschrift > Protokoll > Verifikation > Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!