Václav Rosecký

Publication Activity (10 Years)

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

Publications

Radek Pelánek, Václav Rosecký
EMMA: Explicit Model Checking Manager (Tool Presentation). SPIN (2009)
Radek Pelánek, Václav Rosecký, Pavel Moravec
Complementarity of Error Detection Techniques. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)