{"_id":"sR8Seh7vHoDGSZ3Mq","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Gui, L.","Sun, J.","Liu, Y.","Nguyen, T.<nbsp>K.","Dong, J.<nbsp>S."],"bibbaseid":"gui-sun-liu-nguyen-dong-rapidatoolkitforreliabilityanalysisofnondeterministicsystems-2014","bibdata":{"author":["Gui, Lin","Sun, Jun","Liu, Yang","Nguyen, Truong Khanh","Dong, Jin Song"],"author_short":["Gui, L.","Sun, J.","Liu, Y.","Nguyen, T.<nbsp>K.","Dong, J.<nbsp>S."],"bibtex":"@inproceedings{ dblp1716125,\n title = {RaPiD: a toolkit for reliability analysis of non-deterministic systems},\n author = {Lin Gui and Jun Sun and Yang Liu and Truong Khanh Nguyen and Jin Song Dong},\n author_short = {Gui, L. and Sun, J. and Liu, 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 url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fse12relCamera.pdf},\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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sigsoft/Gui00ND14","booktitle":"Proceedings of SIGSOFT FSE","conference":"SIGSOFT FSE","id":"dblp1716125","key":"dblp1716125","pages":"727-730","text":"SIGSOFT FSE 2014:727-730","title":"RaPiD: a toolkit for reliability analysis of non-deterministic systems","type":"inproceedings","url":"http://doi.acm.org/10.1145/2635868.2661668","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/fse12relCamera.pdf","year":"2014","bibbaseid":"gui-sun-liu-nguyen-dong-rapidatoolkitforreliabilityanalysisofnondeterministicsystems-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2635868.2661668"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/fse12relCamera.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.762Z","downloads":0,"keywords":[],"search_terms":["rapid","toolkit","reliability","analysis","non","deterministic","systems","gui","sun","liu","nguyen","dong"],"title":"RaPiD: a toolkit for reliability analysis of non-deterministic systems","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}