Shao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong. On Combining State Space Reductions with Global Fairness Assumptions. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 432-447, Springer, 2011. [doi]
@inproceedings{ZhangSPLD11,
title = {On Combining State Space Reductions with Global Fairness Assumptions},
author = {Shao Jie Zhang and Jun Sun 0001 and Jun Pang and Yang Liu 0003 and Jin Song Dong},
year = {2011},
doi = {10.1007/978-3-642-21437-0_32},
url = {http://dx.doi.org/10.1007/978-3-642-21437-0_32},
researchr = {https://researchr.org/publication/ZhangSPLD11},
cites = {0},
citedby = {0},
pages = {432-447},
booktitle = {FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
editor = {Michael Butler and Wolfram Schulte},
volume = {6664},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-21436-3},
}