Scalable Multi-core Model Checking Fairness Enhanced Systems. Liu 0003, Y., Sun 0001, J., & Song Dong, J. In Proceedings of International Conference on Formal Engineering Methods (ICFEM), pages 426-445, 2009.
Paper bibtex @inproceedings{ dblp2694662,
title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},
author = {Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},
author_short = {Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2009},
key = {dblp2694662},
id = {dblp2694662},
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":"Cws4ifXW6x4mWdWDt","authorIDs":[],"author_short":["Liu 0003, Y.","Sun 0001, J.","Song Dong, J."],"bibbaseid":"liu0003-sun0001-songdong-scalablemulticoremodelcheckingfairnessenhancedsystems-2009","bibdata":{"title":"Scalable Multi-core Model Checking Fairness Enhanced Systems","author":["Yang Liu 0003","Jun Sun 0001","Jin Song Dong"],"author_short":["Liu 0003, Y.","Sun 0001, J.","Song Dong, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2009","key":"dblp2694662","id":"dblp2694662","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)","bibtex":"@inproceedings{ dblp2694662,\n title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},\n author = {Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},\n author_short = {Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2694662},\n id = {dblp2694662},\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}","bibbaseid":"liu0003-sun0001-songdong-scalablemulticoremodelcheckingfairnessenhancedsystems-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-10373-5_22"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/LiuSD09","creationDate":"2015-02-02T07:01:54.760Z","downloads":0,"keywords":[],"search_terms":["scalable","multi","core","model","checking","fairness","enhanced","systems","liu 0003","sun 0001","song dong"],"title":"Scalable Multi-core Model Checking Fairness Enhanced Systems","year":2009,"dataSources":["p5bPakWtXdQFbe7A3"]}