{"_id":"nvhTAMKTC9sGxR3wR","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Gui 0002, L.","Sun 0001, J.","Liu 0003, Y.","Khanh Nguyen, T.","Song Dong, J."],"bibbaseid":"gui0002-sun0001-liu0003-khanhnguyen-songdong-rapidatoolkitforreliabilityanalysisofnondeterministicsystems-2014","bibdata":{"title":"RaPiD: a toolkit for reliability analysis of non-deterministic systems","author":["Lin Gui 0002","Jun Sun 0001","Yang Liu 0003","Truong Khanh Nguyen","Jin Song Dong"],"author_short":["Gui 0002, L.","Sun 0001, J.","Liu 0003, Y.","Khanh Nguyen, T.","Song Dong, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1716125","id":"dblp1716125","biburl":"http://www.dblp.org/rec/bibtex/conf/sigsoft/Gui00ND14","url":"http://doi.acm.org/10.1145/2635868.2661668","conference":"SIGSOFT FSE","pages":"727-730","text":"SIGSOFT FSE 2014:727-730","booktitle":"Proceedings of SIGSOFT FSE","bibtex":"@inproceedings{ dblp1716125,\n title = {RaPiD: a toolkit for reliability analysis of non-deterministic systems},\n author = {Lin Gui 0002 and Jun Sun 0001 and Yang Liu 0003 and Truong Khanh Nguyen and Jin Song Dong},\n author_short = {Gui 0002, L. and Sun 0001, J. and Liu 0003, Y. and Khanh Nguyen, T. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1716125},\n id = {dblp1716125},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sigsoft/Gui00ND14},\n url = {http://doi.acm.org/10.1145/2635868.2661668},\n conference = {SIGSOFT FSE},\n pages = {727-730},\n text = {SIGSOFT FSE 2014:727-730},\n booktitle = {Proceedings of SIGSOFT FSE}\n}","bibbaseid":"gui0002-sun0001-liu0003-khanhnguyen-songdong-rapidatoolkitforreliabilityanalysisofnondeterministicsystems-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2635868.2661668"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sigsoft/Gui00ND14","creationDate":"2015-02-02T07:01:54.573Z","downloads":0,"keywords":[],"search_terms":["rapid","toolkit","reliability","analysis","non","deterministic","systems","gui 0002","sun 0001","liu 0003","khanh nguyen","song dong"],"title":"RaPiD: a toolkit for reliability analysis of non-deterministic systems","year":2014,"dataSources":["68brNah66Qcr5HwX7"]}