@inproceedings{ dblp2694662,
  title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},
  author = {Yang Liu and Jun Sun and Jin Song Dong},
  author_short = {Liu, Y. and Sun, J. and Song Dong, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2694662},
  id = {dblp2694662},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/ICFEM09a.pdf},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/LiuSD09},
  url = {http://dx.doi.org/10.1007/978-3-642-10373-5_22},
  conference = {ICFEM},
  pages = {426-445},
  text = {ICFEM 2009:426-445},
  booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}
}

{"_id":"oaDXYtY97bwkktuz3","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Liu, Y.","Sun, J.","Dong, J.<nbsp>S."],"bibbaseid":"liu-sun-dong-scalablemulticoremodelcheckingfairnessenhancedsystems-2009","bibdata":{"author":["Liu, Yang","Sun, Jun","Dong, Jin Song"],"author_short":["Liu, Y.","Sun, J.","Dong, J.<nbsp>S."],"bibtex":"@inproceedings{ dblp2694662,\n title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},\n author = {Yang Liu and Jun Sun and Jin Song Dong},\n author_short = {Liu, Y. and Sun, J. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2694662},\n id = {dblp2694662},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/ICFEM09a.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/LiuSD09},\n url = {http://dx.doi.org/10.1007/978-3-642-10373-5_22},\n conference = {ICFEM},\n pages = {426-445},\n text = {ICFEM 2009:426-445},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/LiuSD09","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","conference":"ICFEM","id":"dblp2694662","key":"dblp2694662","pages":"426-445","text":"ICFEM 2009:426-445","title":"Scalable Multi-core Model Checking Fairness Enhanced Systems","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-642-10373-5_22","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/ICFEM09a.pdf","year":"2009","bibbaseid":"liu-sun-dong-scalablemulticoremodelcheckingfairnessenhancedsystems-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-10373-5_22"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/ICFEM09a.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.979Z","downloads":0,"keywords":[],"search_terms":["scalable","multi","core","model","checking","fairness","enhanced","systems","liu","sun","dong"],"title":"Scalable Multi-core Model Checking Fairness Enhanced Systems","year":2009,"dataSources":["mpMYjTrc4gjXaNRQh"]}