VIAF

Virtual International Authority File

Search

Clarke, Edmund M., 1945-.... Sudoc [ABES], France German National Library ISNI National Library of the Netherlands

Clarke, E. M., 1945- National Library of the Czech Republic Library of Congress/NACO

Edmund M. Clarke American computer scientist Wikidata

Clarke, Edmund Melson 1945-.... National Library of France

VIAF ID: 8050749 (Personal)

Permalink: http://viaf.org/viaf/8050749

ISNI: 0000  0001  2119  7648 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (32)

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  Carnegie Mellon University‏ ‎‡e  Affiliation German National Library

Open Section Close SectionWorks

Title Sources
Combining local and global model checking German National Library
Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990 Sudoc [ABES], France German National Library Library of Congress/NACO
Guantanamo : if the lights goes out National Library of the Netherlands
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers Sudoc [ABES], France German National Library Library of Congress/NACO
Logics of programs Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983 Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
Model checking / Edmund M. Clarke, Jr, Orna Grumberg and Doron A. Peled, 1999 Sudoc [ABES], France National Library of France National Library of the Netherlands Library of Congress/NACO
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers Sudoc [ABES], France German National Library National Library of the Netherlands
PSI 2011 National Library of the Netherlands
Software reliability methods Sudoc [ABES], France
Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999 German National Library
Verification of infinite-state systems with applications to security National Library of France National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:8050749 (16)