sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000043725889 | 1 hits
Person
ISNI: 
0000 0000 4372 5889
Name: 
Allen Emerson (amerikanischer Informatiker)
Allen Emerson, E.
Allen Emerson (informaticien américain)
E. Allen Emerson (American computer scientist)
E. Allen Emerson (Amerikaans informaticus)
E. Allen Emerson (amerikansk ingeniør og informatikar)
E. Allen Emerson (amerikansk ingeniør og informatiker)
E. Allen Emerson (amerikansk ingenjör och datavetare)
Emerson, E. Allen
Emerson, Ernest Allen
Ernest Allen Emerson
Ернест Аллен Емерсон
Эмерсон, Эрнест Аллен
ألين إيمرسون
ئی. آلن امرسون (دانشمند علوم کامپیوتر و مهندس آمریکایی)
আর্নেস্ট অ্যালেন এমারসন
アレン・エマーソン
艾伦·爱默生
Dates: 
1954-
Creation class: 
Language material
Creation role: 
contributor
editor
Related names: 
International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI; 7 (08-01-2006 - 10-01-2006 : Charleston, SC, USA)
Namjoshi, Kedar S.
Sistla, A. Prasad
University of Texas Affiliation (see also from)
Titles: 
CAV 2000
Computer aided verification, c2000:
Verification, model checking, and abstract interpretation 7th international conference ; proceedings
Notes: 
Sources: 
NTA