Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.

Radu Mateescu

Browse the full TACAS paper archive.