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 / Fach: Informatik