Gruber, Herrman; Holzer, Markus; Kiehn, Astrid; König, Barbara:
On Timed Automata with Discrete Time-Structural and Language Theoretical Characterization
In: 14. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" - Universität Potsdam, 2004
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
On Timed Automata with Discrete Time-Structural and Language Theoretical Characterization
Autor(in):
Gruber, Herrman; Holzer, Markus; Kiehn, Astrid; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2004
Erschienen in:
14. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" - Universität Potsdam, 2004