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

Publications of E. M. Clarke sorted by journal and type

Journal of the Association for Computing Machinery

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)