Model checking with fairness assumptions using PAT. Si, Y., Sun, J., Liu, Y., Dong, J. S., Pang, J., Zhang, S. J., & Yang, X. Frontiers of Computer Science (FCSC), 8(1):1-16, 2014.
Paper
Paper bibtex @article{ dblp1605764,
title = {Model checking with fairness assumptions using PAT},
author = {Yuanjie Si and Jun Sun and Yang Liu and Jin Song Dong and Jun Pang and Shao Jie Zhang and Xiaohu Yang},
author_short = {Si, Y. and Sun, J. and Liu, Y. and Song Dong, J. and Pang, J. and Jie Zhang, S. and Yang, X.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1605764},
id = {dblp1605764},
url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fcs2014.pdf},
biburl = {http://www.dblp.org/rec/bibtex/journals/fcsc/Si0LDPZY14},
url = {http://dx.doi.org/10.1007/s11704-013-3091-5},
journal = {Frontiers of Computer Science (FCSC)},
pages = {1-16},
number = {1},
volume = {8},
text = {Frontiers of Computer Science (FCSC) 8(1):1-16 (2014)}
}
Downloads: 0
{"_id":"RLgipkpy5StC3vhJY","authorIDs":[],"author_short":["Si, Y.","Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Pang, J.","Zhang, S.<nbsp>J.","Yang, X."],"bibbaseid":"si-sun-liu-dong-pang-zhang-yang-modelcheckingwithfairnessassumptionsusingpat-2014","bibdata":{"author":["Si, Yuanjie","Sun, Jun","Liu, Yang","Dong, Jin Song","Pang, Jun","Zhang, Shao Jie","Yang, Xiaohu"],"author_short":["Si, Y.","Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Pang, J.","Zhang, S.<nbsp>J.","Yang, X."],"bibtex":"@article{ dblp1605764,\n title = {Model checking with fairness assumptions using PAT},\n author = {Yuanjie Si and Jun Sun and Yang Liu and Jin Song Dong and Jun Pang and Shao Jie Zhang and Xiaohu Yang},\n author_short = {Si, Y. and Sun, J. and Liu, Y. and Song Dong, J. and Pang, J. and Jie Zhang, S. and Yang, X.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1605764},\n id = {dblp1605764},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fcs2014.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fcsc/Si0LDPZY14},\n url = {http://dx.doi.org/10.1007/s11704-013-3091-5},\n journal = {Frontiers of Computer Science (FCSC)},\n pages = {1-16},\n number = {1},\n volume = {8},\n text = {Frontiers of Computer Science (FCSC) 8(1):1-16 (2014)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fcsc/Si0LDPZY14","id":"dblp1605764","journal":"Frontiers of Computer Science (FCSC)","key":"dblp1605764","number":"1","pages":"1-16","text":"Frontiers of Computer Science (FCSC) 8(1):1-16 (2014)","title":"Model checking with fairness assumptions using PAT","type":"article","url":"http://dx.doi.org/10.1007/s11704-013-3091-5","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/fcs2014.pdf","volume":"8","year":"2014","bibbaseid":"si-sun-liu-dong-pang-zhang-yang-modelcheckingwithfairnessassumptionsusingpat-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11704-013-3091-5"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/fcs2014.pdf"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.703Z","downloads":0,"keywords":[],"search_terms":["model","checking","fairness","assumptions","using","pat","si","sun","liu","dong","pang","zhang","yang"],"title":"Model checking with fairness assumptions using PAT","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}