Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Symbolic input output conformance checking of action system models
Autor
Tappler, Martin
Titel
Symbolic input output conformance checking of action system models
Datei
[1.11 MB]
Erscheinungsjahr
2015
Beschreibung
x, 135 Blätter
Beschreibung
Diagramme
Zugriffsrechte