Orna Lichtenstein

	2000
4		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

Coauthor Index

1	Eyal Harel	[3]
2	Amir Pnueli	[1] [2] [3] [4]
3	Lenore D. Zuck	[2]