Orna Lichtenstein - Researcher Profile

Publications

1 shown

Explicit clock temporal logic

Eyal Harel , Orna Lichtenstein , Amir Pnueli

The authors present a single exponent decision procedure for the validity of XCTL formulas, and a double exponent decision procedure for the validity of XCTL formulas over finit...

2002 [1990] Proceedings. Fifth Annual IEEE... 136 citations

Frequent Co-Authors

Eyal Harel

Weizmann Institute of Science

Amir Pnueli

Tel Aviv University

Researcher Info

h-index: 1
Publications: 1
Citations: 136
Institution: Weizmann Institute of Science

External Links

Google Scholar

Impact Metrics

h-index 1

h-index: Number of publications with at least h citations each.