Structural Refinement for the Modal nu-Calculus.

Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez

Browse the full ICTAC paper archive.