| |
| 2001 | ||
|---|---|---|
| 2 | EE | Xavier Hannotin, Paolo Maggi, Riccardo Sisto: Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents 2001: 42-53 |
| 1 | Xavier Hannotin, Paolo Maggi, Riccardo Sisto: Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. WOA 2001: 36-41 | |
| 1 | Paolo Maggi | [1] [2] |
| 2 | Riccardo Sisto | [1] [2] |