On Combining State Space Reductions with Global Fairness Assumptions

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]

Abstract

Abstract is missing.