Jirí Hýsek

According to our database, Jirí Hýsek authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Model-Based Design and Verification of Reactive Systems.

Jirí Hýsek, Milan Ceska, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory, 2009