"A Verified Model Checker for the Modal µ-calculus in Coq."

Christoph Sprenger (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics