Hana De-Leon

According to our database, Hana De-Leon authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Modular Abstractions for Verifying Real-Time Distributed Systems.

Hana De-Leon, Orna Grumberg

Formal Methods Syst. Des., 1993