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. 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
{"_id":"qfH2dKpTHP35tiqMu","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S.","Wang, H.<nbsp>H."],"bibbaseid":"0001-0003-dong-wang-specifyingandverifyingeventbasedfairnessenhancedsystems-2008","bibdata":{"author":["0001, Jun Sun","0003, Yang Liu","Dong, Jin Song","Wang, Hai H."],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","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 0001 and Yang Liu 0003 and Jin Song Dong and Hai H. Wang},\n author_short = {Sun 0001, J. and Liu 0003, 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 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","year":"2008","bibbaseid":"0001-0003-dong-wang-specifyingandverifyingeventbasedfairnessenhancedsystems-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88194-0_4"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.347Z","downloads":0,"keywords":[],"search_terms":["specifying","verifying","event","based","fairness","enhanced","systems","0001","0003","dong","wang"],"title":"Specifying and Verifying Event-Based Fairness Enhanced Systems","year":2008,"dataSources":["ZtcgqYKBLHt2gfuHW"]}