Jitka Crhová

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2002
Using Assumptions to Distribute CTL Model Checking.
Proceedings of the Parallel and Distributed Model Checking, 2002

Distributed Modular Model Checking.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002


  Loading...