Tomáš Hanžl

2005

Radek Pelánek, Tomáš Hanžl, Ivana Černá, and Luboš Brim:
Enhancing Random Walk State Space Exploration,
Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05), ACM Press, 2005, 98–105. [bibtex]