L. Miliades

According to our database, L. Miliades authored at least 1 paper in 1997.

Collaborative distances:

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

1997

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.

A. Prasad Sistla, L. Miliades, Viktor Gyuris

Proceedings of the Computer Aided Verification, 9th International Conference, 1997