Orna Lichtenstein

Publication Activity (10 Years)

Years Active: 1985-2000
Publications (10 Years): 0

Publications

Orna Lichtenstein, Amir Pnueli
Propositional Temporal Logics: Decidability and Completeness. Log. J. IGPL 8 (1) (2000)
Eyal Harel, Orna Lichtenstein, Amir Pnueli
Explicit Clock Temporal Logic LICS (1990)
Orna Lichtenstein, Amir Pnueli
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. POPL (1985)
Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck
The Glory of the Past. Logic of Programs (1985)