Model checking algorithms for the µ-calculus.

Sergey Berezin Edmund M. Clarke Somesh Jha Will Marrero Model checking algorithms for the µ-calculus. 309-338 2000 Proof, Language, and Interaction conf/birthday/1999milner db/conf/birthday/milner1999.html#BerezinCJM00