REWERSE-RP-2005-75

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.


In: Proceedings of
Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), Lisbon, Portugal (29th - 30th September 2004), LNAI 3487, 2005
© Springer

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-75

BibTeX:

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

Imprint      Privacy Disclaimer