Verifying Multi-agent Programs by Model Checking

@article{bordini-jaamas12,
Author = {Bordini, Rafael H. and Fisher, Michael and Visser, Willem and Wooldridge, Michael J.},
Doi = {10.1007/s10458-006-5955-7},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Note = {{EUMAS}'04 Special Issue},
Number = 2,
Pages = {239--256},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifying Multi-agent Programs by Model Checking},
Url = {http://www.springerlink.com/content/9130gm1003u756t3/},
Volume = 12,
Year = 2006}