Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes.

Olaf Burkart, Bernhard Steffen

Browse the full ICALP paper archive.