Jitka Zidkova

According to our database, Jitka Zidkova authored at least 2 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Assumption-based distribution of CTL model checking.

Lubos Brim, Karen Yorav, Jitka Zidkova

Int. J. Softw. Tools Technol. Transf., 2005

2003

Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.

Lubos Brim, Jitka Zidkova

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003