| |
| 1993 | ||
|---|---|---|
| 2 | Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. Formal Methods in System Design 2(1): 7-43 (1993) | |
| 1992 | ||
| 1 | Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. CAV 1992: 2-15 | |
| 1 | Orna Grumberg | [1] [2] |