![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005) |
2003 | ||
1 | EE | Lubos Brim, Jitka Zidkova: Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
1 | Lubos Brim | [1] [2] |
2 | Karen Yorav (Karen Laster) | [2] |