Pavel Smrha

According to our database, Pavel Smrha authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Functional Validation of Fault-Tolerant Asynchronous Algorithms.

Jan Hlavicka, Stanislav Racek, Pavel Smrha

Proceedings of the 22rd EUROMICRO Conference '96, 1996