2
Publications
168
Citations
2
H-Index
1988
Active since
Affiliations
Weizmann Institute of Science(Current)
Eyal Harel is an author at Weizmann Institute of Science specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceReal-time SystemsTemporal ReasoningAutomated ReasoningFormal VerificationSystems EngineeringAutomationFormal Logic
Publications per year
1988–2002
2
2
Eyal Harel, Orna Lichtenstein, Amir Pnueli · 2002 · 136 citations
Rows per page
1–2 of 2