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.
Abstract is missing.