Tomás Hanzl

According to our database, Tomás Hanzl authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Enhancing random walk state space exploration.

Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005