prof. Ing. Tomáš Vojnar, Ph.D.
Total number of publications: 13
2008
-
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Year: 2008, type: Workshop
2007
-
Verifying VHDL Designs with Multiple Clocks in SMV
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, year: 2007