Bo Chen, Samira Sadaoui
Specification and Verification of Agent Interaction Protocols
SEKE, 2004.
@inproceedings{SEKE-2004-ChenS,
author = "Bo Chen and Samira Sadaoui",
booktitle = "{Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-14-4",
pages = "300--305",
title = "{Specification and Verification of Agent Interaction Protocols}",
year = 2004,
}