Symmetry Reduction for the Local Mu-Calculus.

Kedar S. Namjoshi, Richard J. Trefler

Browse the full TACAS paper archive.