@inproceedings{inproceedingsf5ce5aa0,
title   = {An ontology for mobile agents in the context of formal verification},
author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de},
year = {2005},
doi = {10.1007/11575801_35},
publisher = {Springer},
booktitle   = {OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE}
}