Communication Dans Un Congrès
Année : 2012
Philippe Darondeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00745298
Soumis le : jeudi 25 octobre 2012-11:32:41
Dernière modification le : mardi 25 avril 2023-15:04:06
Citer
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
161
Consultations
0
Téléchargements