research
∙
08/19/2019
On the expressive power of invariants in parametric timed automata
The verification of systems combining hard timing constraints with concu...
share
research
∙
02/12/2019
