Bo Chen, Samira Sadaoui. Specification and Verification of Agent Interaction Protocols. In Frank Maurer, Günther Ruhe, editors, Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004. pages 300-305, 2004.
@inproceedings{ChenS04:9,
title = {Specification and Verification of Agent Interaction Protocols},
author = {Bo Chen and Samira Sadaoui},
year = {2004},
tags = {protocol},
researchr = {https://researchr.org/publication/ChenS04%3A9},
cites = {0},
citedby = {0},
pages = {300-305},
booktitle = {Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004},
editor = {Frank Maurer and Günther Ruhe},
isbn = {1-891706-14-4},
}