Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Parameterized synthesis of guarded systems
Autor
Außerlechner, Simon
Titel
Parameterized synthesis of guarded systems
Datei
[728.01 KB]
Erscheinungsjahr
2015
Beschreibung
X, 80 S.
Beschreibung
graph. Darst.
Zugriffsrechte