Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
João A. Leite, Paolo Torroni (editors):
Verifying protocol conformance for logic-based communicating agents.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-54
@inproceedings{REWERSE-RP-2004-54, author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti and Claudio Schifanella}, title = {Verifying protocol conformance for logic-based communicating agents}, booktitle = {Proceedings of Fifth International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal (29th--30th September 2004)}, year = {2004}, editor = {João A. Leite and Paolo Torroni}, series = {LNAI}, pages = {82--97}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-54} }