9 citations · 9 across the 1 of their papers we have counts for
1 paper
Sandie Balaguer, Thomas Chatain
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions o…