REWERSE-RP-2005-71

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of protocol conformance and agent interoperability.


In: Proceedings of Sixth International Workshop Computational Logic in Multi-Agent Systems (CLIMA VI), London, UK (27th - 29th June 2005), LNAI 3487, 12-27
© Springer

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

BibTeX:

@inproceedings{REWERSE-RP-2005-71,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
	title = {Verification of protocol conformance and agent interoperability},
	booktitle = {Proceedings of Sixth International Workshop Computational Logic in Multi-Agent Systems, London, UK (27th--29th June 2005)},
	year = {2005},
	volume = {3487},
	series = {LNAI},
	pages = {12--27},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-71}
}