ID:DA02230941
Clarke, E. M.
Clarke, Edmund M
Search authors sharing the same name
Edmund M. Clarke and Andrei Voronkov (Eds.)
Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355
: pbk
Available at 2 libraries
Doron A. Peled ; foreword by Edmund M. Clarke
Springer c2001 Undergraduate texts in computer science
Available at 17 libraries
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
MIT Press c1999
Available at 47 libraries
E.M. Clarke, R.P. Kurshan, editors
American Mathematical Society , Association for Computing Machinery c1991 DIMACS series in discrete mathematics and theoretical computer science v. 3
: AMS , : ACM
Available at 18 libraries
E.M. Clarke, R.P. Kurshan, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 531
: gw , : us
Available at 55 libraries
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag 1984 Lecture notes in computer science 164