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
Dates: 
1945-
Creation class: 
article
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- ))
Ţiplea, Ferucio Laurenţiu
Virbitskaite, Irina
Voronkov, Andrei (1959-)
Titles: 
Computer-Aided Verification : 2nd International Conference, CAV' 90 New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
Guantanamo : if the lights goes out
Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984:
Model checking
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers
PSI 2011
Verification of infinite-state systems with applications to security
Contributed to or performed: 
LECTURE NOTES IN COMPUTER SCIENCE
Notes: 
Sources: 
VIAF BNF LC NKC NTA NUKAT SUDOC WKP
ZETO