Xavier Hannotin

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Xavier Hannotin, Paolo Maggi, Riccardo Sisto
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents (2001)
Xavier Hannotin, Paolo Maggi, Riccardo Sisto
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. WOA (2001)