@inproceedings{DBLP:conf/ma/HannotinMS01,
author = {Xavier Hannotin and
Paolo Maggi and
Riccardo Sisto},
title = {Formal Specification and Verification of Mobile Agent Data
Integrity Properties: A Case Study},
booktitle = {Mobile Agents},
year = {2001},
pages = {42-53},
ee = {http://dx.doi.org/10.1007/3-540-45647-3_4},
crossref = {DBLP:conf/ma/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ma/2001,
editor = {Gian Pietro Picco},
title = {Mobile Agents, 5th International Conference, MA 2001 Atlanta,
GA, USA, December 2-4, 2001, Proceedings},
booktitle = {Mobile Agents},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2240},
year = {2002},
isbn = {3-540-42952-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
