Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Static analysis of extended symbolic transition systems
Autor
Gödl, Thomas
Titel
Static analysis of extended symbolic transition systems
Datei
[2.99 MB]
Erscheinungsjahr
2015
Beschreibung
XIX, 113 S.
Beschreibung
graph. Darst.
Zugriffsrechte