Jitka Crhová

According to our database, Jitka Crhová authored at least 2 papers in 2002.

Collaborative distances:

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

2002

Using Assumptions to Distribute CTL Model Checking.

Lubos Brim, Jitka Crhová, Karen Yorav

Proceedings of the Parallel and Distributed Model Checking, 2002

Distributed Modular Model Checking.

Jitka Crhová

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002