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}
}