Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. A New Model Checking Approach for Verifying Agent Communication Protocols. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 1586-1590, IEEE, 2006. [doi]
Abstract is missing.