Modal µ-Calculus, Model Checking and Gau Elimination.

Angelika Mader

Browse the full TACAS paper archive.