19 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
Luca Spalazzi, Francesco Spegni
In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e. systems obtained by…