8 citations · 8 across the 1 of their papers we have counts for
1 paper
Karin Quaas
Parametric timed automata extend timed automata (Alur and Dill, 1991) in that they allow the specification of parametric bounds on the clock values. Since their introduction in 199…