Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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