Laure Petrucci

Récents

• Efficient Convex Zone Merging in Parametric Timed Automata