Verifying Multi-agent Programs by Model Checking

@article{bordini-jaamas12,
   apice = {BordiniJaamas12},
   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 = {https://link.springer.com/10.1007/s10458-006-5955-7},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/s10458-006-5955-7.pdf},
   volume = 12,
   year = 2006
}