Václav Rosecký

According to our database1, Václav Rosecký authored at least 2 papers between 2008 and 2009.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
EMMA: Explicit Model Checking Manager (Tool Presentation).
Proceedings of the Model Checking Software, 2009

2008
Complementarity of Error Detection Techniques.
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008


  Loading...