sort by
approximate search
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 (Jr)
Clarke, Edmund M.
Clarke, Edmund M. (Jr)
Clarke, Edmund Melson
Clarke, Edmund Melson (Jr)
Clarke, Edmund Melson (Vollstaendiger Name)
Edmund Clarke (informático teórico estadounidense)
Edmund M. Clarke (American computer scientist)
Edmund M. Clarke (Amerikaans informaticus)
Edmund M. Clarke (amerikanischer Informatiker)
Edmund M. Clarke (amerikansk ingeniør og informatikar)
Edmund M. Clarke (amerikansk ingeniør og informatiker)
Edmund M. Clarke (amerikansk ingenjör och datavetare)
Edmund M. Clarke (informaticien américain)
Едмунд Кларк
Кларк, Эдмунд Мельсон
إدموند كلارك
ادموند ام. کلارک (دانشمند علوم کامپیوتر و مهندس آمریکایی)
এডমুন্ড এম. ক্লার্ক
エドムンド・クラーク
爱德蒙·克拉克
Dates: 
1945-
Creation class: 
article
Computer file
Language material
Text
Creation role: 
author
editor
Related names: 
Carnegie Mellon University Affiliation (see also from)
Grumberg, Orna
Kozen, Dexter
Kozen, Dexter (1951-)
Kozen, Dexter C. (1951-)
Minea, Marius
Peled, Doron A. (1962-...))
Peled, Doron A. (1962-)
Ţiplea, Ferucio Laurenţiu
Virbitskaite, Irina
Voronkov, Andrei
Titles: 
Combining local and global model checking
Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990
Guantanamo : if the lights goes out
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
PSI 2011
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: 
BOWKER
NTA
ZETO