On Combining State Space Reductions with Global Fairness Assumptions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shao Jie Zhang' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Jun Pang' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in Google

runs on WebDSL