Model Checking Multi-Agent Systems with MABLE

@inproceedings{mable-aamas2002,
   address = {New York, NY, USA},
   apice = {MableAamas2002},
   author = {Wooldridge, Michael J. and Fisher, Michael and Huget, Marc-Philippe and Parsons, Simon},
   booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
   doi = {10.1145/544862.544965},
   editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
   isbn = {1-58113-480-0},
   location = {Bologna, Italy},
   month = {15--19~} # jul,
   pages = {952--959},
   publisher = {ACM},
   title = {Model Checking Multi-Agent Systems with {MABLE}},
   url = {http://dl.acm.org/citation.cfm?doid=544862.544965},
   volume = 2,
   year = 2002
}