Milan Křivánek

2011

Nikola Beneš, Ivana Černá, and Milan Křivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems,
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, Open Publishing Association, 2011, 63-67. [bibtex, url]