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.
Model checking with fairness assumptions using PAT [link]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