Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. Verification of Protocol Conformance and Agent Interoperability. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 265-283, Springer, 2005. [doi]