61 citations · 322 across the 42 of their papers we have counts for
1 paper · 2 filters
Étienne André, Paul Eichler, Swen Jacobs +1
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTNs), i.e., networks of timed automata (TAs) that communicate via location guards tha…