Model Checking for ACL Compliance Verification

@incollection{modelcheckingacl-acl03,
   apice = {ModelcheckingaclAcl2003},
   author = {Huget, Marc-Philippe and Wooldridge, Michael J.},
   booktitle = {Advances in Agent Communication},
   doi = {10.1007/978-3-540-24608-4_5},
   editor = {Dignum, Frank},
   isbn = {978-3-540-20769-6},
   note = {International Workshop on Agent Communication Languages (ACL 2003), Melbourne, Australia, 14~} # jul # {~2003. Revised and Invited Papers},
   pages = {75--90},
   publisher = {Springer},
   title = {Model Checking for {ACL} Compliance Verification},
   url = {http://www.springerlink.com/content/8d2rqhdyfjj4klnd/},
   volume = 2922,
   year = 2004
}