Timed Automata with Periodic Clock Constraints

Christian Choffrut, Massimiliano Goldwurm. Timed Automata with Periodic Clock Constraints. Journal of Automata, Languages and Combinatorics, 5(4):371-404, 2000.

Abstract

Abstract is missing.