Milan Krivánek

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Nikola Benes, Ivana Cerná, Milan Krivánek
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC (2011)
Nikola Benes, Milan Krivánek, Filip Stefanak
Space Effective Model Checking for Component-Interaction Automata. MEMICS (2009)