11 citations · 12 across the 4 of their papers we have counts for
1 paper · 2 filters
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…