VIAF

Virtual International Authority File

Search

Clarke, E. M., 1945- Library of Congress/NACO

VIAF ID: 262156909 (Personal)

Permalink: http://viaf.org/viaf/262156909

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: Library of Congress/NACO
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers Library of Congress/NACO
Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984: Library of Congress/NACO
Model checking Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:262156909 (5)