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]
@inproceedings{BaldoniBMP05, title = {Verification of Protocol Conformance and Agent Interoperability}, author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti}, year = {2005}, doi = {10.1007/11750734_15}, url = {http://dx.doi.org/10.1007/11750734_15}, tags = {protocol}, researchr = {https://researchr.org/publication/BaldoniBMP05}, cites = {0}, citedby = {0}, pages = {265-283}, booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers}, editor = {Francesca Toni and Paolo Torroni}, volume = {3900}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-33996-5}, }