Tsvetomir P. Petrov

According to our database, Tsvetomir P. Petrov authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch

Proceedings of the Formal Description Techniques IX: Theory, 1996