| |
| 2000 | ||
|---|---|---|
| 4 | EE | Orna Lichtenstein, Amir Pnueli: Propositional Temporal Logics: Decidability and Completeness. Logic Journal of the IGPL 8(1): (2000) |
| 1990 | ||
| 3 | Eyal Harel, Orna Lichtenstein, Amir Pnueli: Explicit Clock Temporal Logic LICS 1990: 402-413 | |
| 1985 | ||
| 2 | Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck: The Glory of the Past. Logic of Programs 1985: 196-218 | |
| 1 | Orna Lichtenstein, Amir Pnueli: Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. POPL 1985: 97-107 | |
| 1 | Eyal Harel | [3] |
| 2 | Amir Pnueli | [1] [2] [3] [4] |
| 3 | Lenore D. Zuck | [2] |