Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000121197648 | 1 hits
Person
ISNI: 
0000 0001 2119 7648
Name: 
Clarke, E.
Clarke, E. M.
Clarke, Edmund
Clarke, Edmund M.
Clarke, Edmund Mellon
Clarke, Edmund Melson
Clarke, Edmund Melson (Vollstaendiger Name)
Dates: 
1945-
Creation class: 
article
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Grumberg, Orna
Kozen, Dexter (1951-)
Kozen, Dexter C. (1951-)
Minea, Marius
NATO Advanced Research Workshop on Verification of Infinite-State Systems with Applications to Security (2005 ; Timişoara)
Peled, Doron (1962- ))
Peled, Doron A. (1962-)
Ţiplea, Ferucio Laurenţiu
Virbitskaite, Irina
Voronkov, Andrei (1959-)
Titles: 
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Model checking
Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
Software reliability methods
Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999
Verification of infinite-state systems with applications to security
Contributed to or performed: 
LECTURE NOTES IN COMPUTER SCIENCE
Notes: 
Sources: 
VIAF DNB LC NKC NTA NUKAT SUDOC WKP
ZETO