Z. Rehák

According to our database, Z. Rehák authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Verifying VHDL Designs with Multiple Clocks in SMV.

Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák

Proceedings of the Formal Methods: Applications and Technology, 2006