Parametric non-interference in timed automata.

tienne Andr, Aleksander Kryukov

Browse the full ICECCS paper archive.