Deciding Selective Declassification of Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Deciding Selective Declassification of Petri Nets

Eike Best
  • Function : Author
  • PersonId : 888559

Dates and versions

hal-00745298 , version 1 (25-10-2012)

Identifiers

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⟩
159 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More