Reducing complexity for the verification of STATEMATE designs Dissertation

Zugl.: Oldenburg, Univ., Diss., 2003

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bienmüller, Tom (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oldenburg Univ., Fak. II, Dep. für Informatik 2003
Schriftenreihe:	Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften 2003,6
Schlagworte:	Komplexitätstheorie > Programmverifikation > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!