@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)}
}

{"_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"]}