@inproceedings{ dblp1532998,
  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},
  author_short = {Song, S. and Liu 0003, Y. and Zhang 0002, J. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1532998},
  id = {dblp1532998},
  biburl = {http://www.dblp.org/rec/bibtex/conf/atal/Song00014},
  url = {http://dl.acm.org/citation.cfm?id=2616105},
  conference = {AAMAS},
  pages = {1645-1646},
  text = {AAMAS 2014:1645-1646},
  booktitle = {Proceedings of Autonomous Agents & Multiagent Systems (AAMAS)}
}

{"_id":"3CYPWc8Qum5tejTjL","authorIDs":[],"author_short":["Song, S.","Liu 0003, Y.","Zhang 0002, J.","Sun 0001, J."],"bibbaseid":"song-liu0003-zhang0002-sun0001-anextensivemodelcheckingframeworkformultiagentsystems-2014","bibdata":{"title":"An extensive model checking framework for multi-agent systems","author":["Songzheng Song","Yang Liu 0003","Jie Zhang 0002","Jun Sun 0001"],"author_short":["Song, S.","Liu 0003, Y.","Zhang 0002, J.","Sun 0001, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1532998","id":"dblp1532998","biburl":"http://www.dblp.org/rec/bibtex/conf/atal/Song00014","url":"http://dl.acm.org/citation.cfm?id=2616105","conference":"AAMAS","pages":"1645-1646","text":"AAMAS 2014:1645-1646","booktitle":"Proceedings of Autonomous Agents & Multiagent Systems (AAMAS)","bibtex":"@inproceedings{ dblp1532998,\n title = {An extensive model checking framework for multi-agent systems},\n author = {Songzheng Song and Yang Liu 0003 and Jie Zhang 0002 and Jun Sun 0001},\n author_short = {Song, S. and Liu 0003, Y. and Zhang 0002, J. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1532998},\n id = {dblp1532998},\n biburl = {http://www.dblp.org/rec/bibtex/conf/atal/Song00014},\n url = {http://dl.acm.org/citation.cfm?id=2616105},\n conference = {AAMAS},\n pages = {1645-1646},\n text = {AAMAS 2014:1645-1646},\n booktitle = {Proceedings of Autonomous Agents & Multiagent Systems (AAMAS)}\n}","bibbaseid":"song-liu0003-zhang0002-sun0001-anextensivemodelcheckingframeworkformultiagentsystems-2014","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=2616105"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/atal/Song00014","creationDate":"2015-02-02T07:01:54.454Z","downloads":0,"keywords":[],"search_terms":["extensive","model","checking","framework","multi","agent","systems","song","liu 0003","zhang 0002","sun 0001"],"title":"An extensive model checking framework for multi-agent systems","year":2014,"dataSources":["92tkWqDJhNcTNhiqz"]}