Conference Papers
Year : 2012
Philippe Darondeau : Connect in order to contact the contributor
https://inria.hal.science/hal-00745298
Submitted on : Thursday, October 25, 2012-11:32:41 AM
Last modification on : Tuesday, April 25, 2023-3:04:06 PM
Cite
Philippe Darondeau, Eike Best. Deciding Selective Declassification of Petri Nets. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. pp.290-308, ⟨10.1007/978-3-642-28641-4⟩. ⟨hal-00745298⟩
Collections
159
View
0
Download