Expiring opacity problems in parametric timed automata.

tienne Andr, Engel Lefaucheux, Dylan Marinho

Browse the full ICECCS paper archive.