8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
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…