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

Bibliographische Detailangaben

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