| |
| 1990 | ||
|---|---|---|
| 2 | Eyal Harel, Orna Lichtenstein, Amir Pnueli: Explicit Clock Temporal Logic LICS 1990: 402-413 | |
| 1988 | ||
| 1 | Amir Pnueli, Eyal Harel: Applications of Temporal Logic to the Specification of Real-time Systems. FTRTFT 1988: 84-98 | |
| 1 | Orna Lichtenstein | [2] |
| 2 | Amir Pnueli | [1] [2] |