Model checking with fairness assumptions using PAT. Si, Y., 0001, J. S., 0003, Y. L., Dong, J. S., Pang, J., Zhang, S. J., & Yang, X. Frontiers of Computer Science (FCSC), 8(1):1-16, 2014.
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}