Songzheng Song, Yang Liu 0003, Jie Zhang 0002, Jun Sun 0001. An extensive model checking framework for multi-agent systems. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 1645-1646, IFAAMAS/ACM, 2014. [doi]
@inproceedings{Song00014, title = {An extensive model checking framework for multi-agent systems}, author = {Songzheng Song and Yang Liu 0003 and Jie Zhang 0002 and Jun Sun 0001}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2616105}, researchr = {https://researchr.org/publication/Song00014}, cites = {0}, citedby = {0}, pages = {1645-1646}, booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014}, editor = {Ana L. C. Bazzan and Michael N. Huhns and Alessio Lomuscio and Paul Scerri}, publisher = {IFAAMAS/ACM}, isbn = {978-1-4503-2738-1}, }