Panagiotis Tzounakis

According to our database, Panagiotis Tzounakis authored at least 1 paper in 1992.

Collaborative distances:

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

1992

Verification with Real-Time COSPAN.

Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992