Shamimabi Paurobally, Jim Cunningham. Verification of Protocols for Automated Negotiation. In Frank van Harmelen, editor, Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 2002. pages 43-47, IOS Press, 2002.
@inproceedings{PauroballyC02,
title = {Verification of Protocols for Automated Negotiation},
author = {Shamimabi Paurobally and Jim Cunningham},
year = {2002},
tags = {protocol},
researchr = {https://researchr.org/publication/PauroballyC02},
cites = {0},
citedby = {0},
pages = {43-47},
booktitle = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 2002},
editor = {Frank van Harmelen},
publisher = {IOS Press},
}