Eyal Harel

	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

Coauthor Index

1	Orna Lichtenstein	[2]
2	Amir Pnueli	[1] [2]