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-2005-75
@inproceedings{REWERSE-RP-2005-75, 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 = {2005}, editor = {João A. Leite and Paolo Torroni}, volume = {3487}, series = {LNAI}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-75} }