E. M. Clarke
First name(s): E. M.
Last name(s): Clarke

Publications of E. M. Clarke
1985
A. P. Sistla and E. M. Clarke, The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749)