Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. - Lubos Brim; Jitka Zidkova (PDMC@CAV, 2003)

Assumption-based distribution of CTL model checking. - Lubos Brim; Karen Yorav; Jitka Zidkova (Int. J. Softw. Tools Technol. Transf., 2005)