%0 Conference Proceedings
%F darondeau10b
%A Best, Eike
%A Darondeau, Philippe
%A Gorrieri, Roberto
%T On the Decidability of Non Interference over Unbounded Petri Nets
%B 8th International Workshop on Security Issues in Concurrency, SecCo 2010
%C Paris, France
%8 August
%D 2010
%K nets