Jitka Zidkova

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Lubos Brim, Karen Yorav, Jitka Zidkova
Assumption-based distribution of CTL model checking. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Lubos Brim, Jitka Zidkova
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)