Specifying and Verifying Event-Based Fairness Enhanced Systems. 0001, J. S., 0003, Y. L., Dong, J. S., & Wang, H. H. In Proceedings of International Conference on Formal Engineering Methods (ICFEM), pages 5-24, 2008.
Specifying and Verifying Event-Based Fairness Enhanced Systems [link]Paper  bibtex   
@inproceedings{ dblp2881881,
  title = {Specifying and Verifying Event-Based Fairness Enhanced Systems},
  author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong and Hai H. Wang},
  author_short = {Sun 0001, J. and Liu 0003, Y. and Song Dong, J. and Wang, H. H.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp2881881},
  id = {dblp2881881},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/SunLDW08},
  url = {http://dx.doi.org/10.1007/978-3-540-88194-0_4},
  conference = {ICFEM},
  pages = {5-24},
  text = {ICFEM 2008:5-24},
  booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}
}

Downloads: 0