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 Section Selected Titles

  1. Model checking ‎(1) Library of Congress/NACO
  2. Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984: ‎(1) Library of Congress/NACO
  3. Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers ‎(1) Library of Congress/NACO
  4. DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: ‎(1) Library of Congress/NACO
  5. DIMACS Workshop on Computer Aided Verification (1990 : Ctr. for Discr. Math. and Theor. Comp. Science). Computer-aided verification, c1991: ‎(1) Library of Congress/NACO
  6. Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 ‎(1) 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)