Distributed Modular Model Checking. - Jitka Crhová (ASE, 2002)

Using Assumptions to Distribute CTL Model Checking. - Lubos Brim; Jitka Crhová; Karen Yorav (PDMC@CONCUR, 2002)