Model Checking Multi-Agent Systems with MABLE
 |
 |
Address = {New York, NY, USA},
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}