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

Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara Knig

Browse the full DLT paper archive.