Login / Signup

Controlling Actions and Time in Parametric Timed Automata.

Étienne AndréMichal KnapikWojciech PenczekLaure Petrucci
Published in: ACSD (2016)
Keyphrases