%0 Conference Proceedings
%F Darondeau2010d
%A Best, E.
%A Darondeau, P.
%A Gorrieri, R.
%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