Scalable Multi-core Model Checking Fairness Enhanced Systems. Liu, Y., Sun, J., & Dong, J. S. In Proceedings of International Conference on Formal Engineering Methods (ICFEM), pages 426-445, 2009.
Paper
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}