Marc-Philippe Huget, Michael Wooldridge. Model Checking for ACL Compliance Verification. In Frank Dignum, editor, Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Volume 2922 of Lecture Notes in Computer Science, pages 75-90, Springer, 2003. [doi]
Abstract is missing.