@inproceedings{ dblp1532998,
  title = {An extensive model checking framework for multi-agent systems},
  author = {Songzheng Song and Yang Liu and Jie Zhang and Jun Sun},
  author_short = {Song, S. and Liu, Y. and Zhang, J. and Sun, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1532998},
  id = {dblp1532998},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/aamas14-song.pdf},
  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":"PcakHkueNdJLF5W82","authorIDs":[],"author_short":["Song, S.","Liu, Y.","Zhang, J.","Sun, J."],"bibbaseid":"song-liu-zhang-sun-anextensivemodelcheckingframeworkformultiagentsystems-2014","bibdata":{"author":["Song, Songzheng","Liu, Yang","Zhang, Jie","Sun, Jun"],"author_short":["Song, S.","Liu, Y.","Zhang, J.","Sun, J."],"bibtex":"@inproceedings{ dblp1532998,\n title = {An extensive model checking framework for multi-agent systems},\n author = {Songzheng Song and Yang Liu and Jie Zhang and Jun Sun},\n author_short = {Song, S. and Liu, Y. and Zhang, J. and Sun, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1532998},\n id = {dblp1532998},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/aamas14-song.pdf},\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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/atal/Song00014","booktitle":"Proceedings of Autonomous Agents & Multiagent Systems (AAMAS)","conference":"AAMAS","id":"dblp1532998","key":"dblp1532998","pages":"1645-1646","text":"AAMAS 2014:1645-1646","title":"An extensive model checking framework for multi-agent systems","type":"inproceedings","url":"http://dl.acm.org/citation.cfm?id=2616105","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/aamas14-song.pdf","year":"2014","bibbaseid":"song-liu-zhang-sun-anextensivemodelcheckingframeworkformultiagentsystems-2014","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=2616105"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/aamas14-song.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.692Z","downloads":0,"keywords":[],"search_terms":["extensive","model","checking","framework","multi","agent","systems","song","liu","zhang","sun"],"title":"An extensive model checking framework for multi-agent systems","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}