Paulo Salem da Silva, Ana Cristina Vieira de Melo. An Ontology for Mobile Agents in the Context of Formal Verification. In Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra, editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II. Volume 3761 of Lecture Notes in Computer Science, pages 1500-1516, Springer, 2005. [doi]
Abstract is missing.