Milan Krivánek

According to our database, Milan Krivánek authored at least 2 papers between 2009 and 2011.

Collaborative distances:

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

2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola Benes, Ivana Cerná, Milan Krivánek

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

2009

Space Effective Model Checking for Component-Interaction Automata.

Nikola Benes, Milan Krivánek, Filip Stefanak

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009