Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Olaf Burkart
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
Theoretical Computer Science
Computer Science
Theoretical Computer Science