Buffered Control for Opacity in Timed Automata.

tienne Andr, Sarah Dpernet, Engel Lefaucheux

Browse the full CONCUR paper archive.