On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization

Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König. On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. In Clelia de Felice, Antonio Restivo, editors, Developments in Language Theory, 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings. Volume 3572 of Lecture Notes in Computer Science, pages 272-283, Springer, 2005. [doi]

Authors

Hermann Gruber

This author has not been identified. Look up 'Hermann Gruber' in Google

Markus Holzer

This author has not been identified. Look up 'Markus Holzer' in Google

Astrid Kiehn

This author has not been identified. Look up 'Astrid Kiehn' in Google

Barbara König

This author has not been identified. Look up 'Barbara König' in Google