Concepedia

E.M. Clarke

EC

Statistics

Publications

1

Citations

81

H-Index

1

Active since

1987

E.M. Clarke is an author specializing in temporal logic, fairness verification, and finite-state verification.

Publications per year

1987–1987

1

Publications

1

Research on Automatic Verification of Finite-StateConcurrent Systems

E.M. Clarke, Orna Grümberg · Annual Review of Computer Science · 1987 · 81 citations

Computing, Computer Science, Computer Systems +17

1–1 of 1