Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Darondeau2010d

E. Best, P. Darondeau, R. 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{Darondeau2010d,
   Author = {Best, E. and Darondeau, P. and Gorrieri, R.},
   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)