Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000043725889 | 1 hits
Person
ISNI: 
0000 0000 4372 5889
Name: 
Emerson, Allen
Emerson, E. Allen
Dates: 
born 1954-06-02
Creation class: 
Language material
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
Titles: 
CAV 2000
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA 15-19, 2000 : proceedings
Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
Notes: 
Sources: 
VIAF LC NTA WKP