Verifikation parametrisierter Netzwerke durch Abstraktion

Kiel, Univ., Diplomarbeit, 2000

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kyas, Marcel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2000
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Kiel, Univ., Diplomarbeit, 2000
Beschreibung:	VI, [121] S graph. Darst