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