Model Checking for ACL Compliance Verification
 |
 |
@incollection{modelcheckingacl-acl03,
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}
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}