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
2004Buchaufsatz/Kapitel in Sammelwerk
Informatik
Titel:
On Timed Automata with Discrete Time-Structural and Language Theoretical Characterization
Autor*in:
Gruber, Herrman;Holzer, Markus;Kiehn, Astrid;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Erschienen in
14. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Verlag:
Universität Potsdam
Erscheinungsjahr:
2004