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]
No references recorded for this publication.
No citations of this publication recorded.