@inproceedings{ dblp2881881,
  title = {Specifying and Verifying Event-Based Fairness Enhanced Systems},
  author = {Jun Sun and Yang Liu and Jin Song Dong and Hai H. Wang},
  author_short = {Sun, J. and Liu, Y. and Song Dong, J. and Wang, H. H.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp2881881},
  id = {dblp2881881},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/icfem2008.pdf},
  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)}
}

{"_id":"9qWXKeitweffLBDTa","authorIDs":[],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Wang, H.<nbsp>H."],"bibbaseid":"sun-liu-dong-wang-specifyingandverifyingeventbasedfairnessenhancedsystems-2008","bibdata":{"author":["Sun, Jun","Liu, Yang","Dong, Jin Song","Wang, Hai H."],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Wang, H.<nbsp>H."],"bibtex":"@inproceedings{ dblp2881881,\n title = {Specifying and Verifying Event-Based Fairness Enhanced Systems},\n author = {Jun Sun and Yang Liu and Jin Song Dong and Hai H. Wang},\n author_short = {Sun, J. and Liu, Y. and Song Dong, J. and Wang, H. H.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2881881},\n id = {dblp2881881},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/icfem2008.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/SunLDW08},\n url = {http://dx.doi.org/10.1007/978-3-540-88194-0_4},\n conference = {ICFEM},\n pages = {5-24},\n text = {ICFEM 2008:5-24},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/SunLDW08","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","conference":"ICFEM","id":"dblp2881881","key":"dblp2881881","pages":"5-24","text":"ICFEM 2008:5-24","title":"Specifying and Verifying Event-Based Fairness Enhanced Systems","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-540-88194-0_4","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/icfem2008.pdf","year":"2008","bibbaseid":"sun-liu-dong-wang-specifyingandverifyingeventbasedfairnessenhancedsystems-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88194-0_4"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/icfem2008.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.993Z","downloads":0,"keywords":[],"search_terms":["specifying","verifying","event","based","fairness","enhanced","systems","sun","liu","dong","wang"],"title":"Specifying and Verifying Event-Based Fairness Enhanced Systems","year":2008,"dataSources":["mpMYjTrc4gjXaNRQh"]}