Ludek Hasa

According to our database, Ludek Hasa authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.

Milan Ceska, Ludek Hasa, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2003