Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.

Girish Bhat, Rance Cleaveland

Browse the full TACAS paper archive.