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]
Abstract is missing.