Search the dblp DataBase

Publications of Author

1. Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
   Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:226-241 [Conf]
   
2. 
   Refinement of Kripke Models for Dynamics. [Citation Graph (, )][DBLP]
   
   
3. 
   Verifying Multi-party Authentication Using Rank Functions and PVS. [Citation Graph (, )][DBLP]
   
   
4. 
   On expressive power and class invariance [Citation Graph (, )][DBLP]