VIAF

Virtual International Authority File

Search

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

Clarke, Edmund Library of Congress/NACO

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

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

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-test: 0000  0001  2119  7648 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 Library of Congress/NACO German National Library
Guantanamo : if the lights goes out National Library of the Netherlands-test
Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1 2010 : revised selected papers xR Extended Titles-test Sudoc [ABES], France Library of Congress/NACO German National Library
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Model checking National Library of the Netherlands-test Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
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-test Library of Congress/NACO German National Library
PSI 2011 National Library of the Netherlands-test
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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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 (7)

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