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]
No references recorded for this publication.
No citations of this publication recorded.