@article{ dblp1605764,
  title = {Model checking with fairness assumptions using PAT},
  author = {Yuanjie Si and Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong and Jun Pang and Shao Jie Zhang and Xiaohu Yang},
  author_short = {Si, Y. and Sun 0001, J. and Liu 0003, 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},
  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":"4fo93T6Dko6Yd24QJ","authorIDs":[],"author_short":["Si, Y.","0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S.","Pang, J.","Zhang, S.<nbsp>J.","Yang, X."],"bibbaseid":"si-0001-0003-dong-pang-zhang-yang-modelcheckingwithfairnessassumptionsusingpat-2014","bibdata":{"author":["Si, Yuanjie","0001, Jun Sun","0003, Yang Liu","Dong, Jin Song","Pang, Jun","Zhang, Shao Jie","Yang, Xiaohu"],"author_short":["Si, Y.","0001, J.<nbsp>S.","0003, Y.<nbsp>L.","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 0001 and Yang Liu 0003 and Jin Song Dong and Jun Pang and Shao Jie Zhang and Xiaohu Yang},\n author_short = {Si, Y. and Sun 0001, J. and Liu 0003, 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 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","volume":"8","year":"2014","bibbaseid":"si-0001-0003-dong-pang-zhang-yang-modelcheckingwithfairnessassumptionsusingpat-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11704-013-3091-5"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.866Z","downloads":0,"keywords":[],"search_terms":["model","checking","fairness","assumptions","using","pat","si","0001","0003","dong","pang","zhang","yang"],"title":"Model checking with fairness assumptions using PAT","year":2014,"dataSources":["ZtcgqYKBLHt2gfuHW"]}