Reducing complexity for the verification of statemate designs

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, Dept. für Informatik 2003
Schriftenreihe:	Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften 2003, 6
Schlagworte:	Hochschulschrift > Forschungsbericht > Programmverifikation > Komplexitätstheorie
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Oldenburg, Univ., Diss., 2003
Beschreibung:	309, 5 S graph. Darst