VIAF

Virtual International Authority File

Search

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

Clarke, Edmund National Library of Australia Library of Congress/NACO German National Library

Edmund M. Clarke American computer scientist Wikidata

Clarke, Edmund Mellon (1945- ). NUKAT Center of Warsaw University Library

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

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

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 (29)

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
Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990 NUKAT Center of Warsaw University Library Sudoc [ABES], France German National Library
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
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Model checking National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France German National Library
Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO German National Library
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 the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France

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 (45)