Automata for the Modal mu-Calculus and related Results.

David Janin, Igor Walukiewicz

Browse the full MFCS paper archive.