32 citations · 104 across the 17 of their papers we have counts for
1 paper · 2 filters
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, w…