Model checking the full modal mu-calculus for infinite sequential processes
scientific article; zbMATH DE number 1387428