Emerson, E. Allen

ID:DA12735911

Search authors sharing the same name

Search Results1-2 of 2

1

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

E. Allen Emerson, Kedar S. Namjoshi (eds.)

Springer c2006 Lecture notes in computer science 3855

Available at 8 libraries
2

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

E. Allen Emerson, A. Prasad Sistla (eds.)

Springer c2000 Lecture notes in computer science 1855

Available at 41 libraries

Search this author

Related Authors