Treffer: Reducing complexity for the verification of STATEMATE designs
Titel:
Reducing complexity for the verification of STATEMATE designs : Dissertation / Tom Bienmüller
Verantwortlich:
Veröffentlicht:
Oldenburg : Univ., Fak. II, Dep. für Informatik, 2003
Umfang:
309 S. : graph. Darst. ; 21 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Carl von Ossietzky Universität Oldenburg. Department für Informatik: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; [20]03,6
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Zugl.:Oldenburg, Univ., Diss., 2003
RVK-Notation:
Schlagworte: