Modal μ-calculus and alternating tree automata

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic

VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments

Enriched µ-calculi module checking

FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures

Decidability and undecidability results on the modal µ-calculus with a natural number-valued semantics

WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation