Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen

Bibliographische Detailangaben

1. Verfasser:	Sellink, Alex (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Univ. Utrecht 1996
Schlagworte:	Computerunterstütztes Verfahren Protokoll > Datenverarbeitungssystem Verifikation Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!