Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Dissertationen
/
Reactive synthesis
Autor
Khalimov, Ayrat
Titel
Reactive synthesis
Zusatz z. Titel
branching logic & parameterized systems
Datei
[1.17 MB]
Beschreibung
viii, 130 Seiten
Beschreibung
Illustrationen, Diagramme
ISBN
Broschur
Zugriffsrechte