darondeau10b

Eike Best, Philippe Darondeau, Roberto Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, August 2010.

Keyword

[ Nets ]

Contact

Philippe Darondeau

BibTex Reference

@InProceedings{darondeau10b,
   Author = {Best, Eike and Darondeau, Philippe and Gorrieri, Roberto},
   Title = {On the Decidability of Non Interference over Unbounded Petri Nets},
   BookTitle = {8th International Workshop on Security Issues in Concurrency, SecCo 2010},
   Address = {Paris, France},
   Month = {August},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)