On Combining State Space Reductions with Global Fairness Assumptions.

Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong

Browse the full FM paper archive.