Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Braghin, C. and First Letter Of Title is M  [Clear All Filters]
2010
A Model Checking-based Approach for Security Policy Verification of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)