%0 Conference Paper %1 conf/atal/Song00014 %A Song, Songzheng %A Liu, Yang %A Zhang, Jie %A Sun, Jun %B AAMAS %D 2014 %E Bazzan, Ana L. C. %E Huhns, Michael N. %E Lomuscio, Alessio %E Scerri, Paul %I IFAAMAS/ACM %K dblp %P 1645-1646 %T An extensive model checking framework for multi-agent systems. %U http://dblp.uni-trier.de/db/conf/atal/aamas2014.html#Song00014 %@ 978-1-4503-2738-1

@inproceedings{conf/atal/Song00014, added-at = {2014-09-25T00:00:00.000+0200}, author = {Song, Songzheng and Liu, Yang and Zhang, Jie and Sun, Jun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2139217afbb39a536313f4551a2cfb828/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2014}, editor = {Bazzan, Ana L. C. and Huhns, Michael N. and Lomuscio, Alessio and Scerri, Paul}, ee = {http://dl.acm.org/citation.cfm?id=2616105}, interhash = {d7c9685d801217bddfedd639f94e4920}, intrahash = {139217afbb39a536313f4551a2cfb828}, isbn = {978-1-4503-2738-1}, keywords = {dblp}, pages = {1645-1646}, publisher = {IFAAMAS/ACM}, timestamp = {2016-02-02T16:26:43.000+0100}, title = {An extensive model checking framework for multi-agent systems.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2014.html#Song00014}, year = 2014 }