Model Checking for ACL Compliance Verification
 |
 |
 |
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}