On Timed Automata with Discrete Time—Structural and Language ...

Reference

Herrman Gruber, Markus Holzer, Astrid Kiehn, and Barbara König. 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.

Suggested BibTeX entry:

@inproceedings{GHKK04,
    author = {Herrman Gruber and Markus Holzer and Astrid Kiehn and Barbara K\"{o}nig},
    booktitle = {14. {T}heorietag der {GI}-{F}achgruppe 0.1.5 ``{A}utomaten und {F}ormale {S}prachen''},
    publisher = {Universit{\"a}t Potsdam},
    title = {On Timed Automata with Discrete Time---Structural and Language Theoretical Characterization},
    year = {2004}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group