Emerson, E. Allen
E. Allen Emerson American computer scientist
Emerson, E. Allen 1954-
VIAF ID: 40252505 ( Personal )
Permalink: http://viaf.org/viaf/40252505
Preferred Forms
- 100 0 _ ‡a E. Allen Emerson ‡c American computer scientist
- 100 1 0 ‡a Emerson, E. Allen
-
- 100 1 _ ‡a Emerson, E. Allen
- 100 1 _ ‡a Emerson, E. Allen
- 100 1 _ ‡a Emerson, E. Allen (sparse)
-
-
-
-
-
- 100 1 _ ‡a Emerson, E. Allen ‡d 1954-
4xx's: Alternate Name Forms (27)
5xx's: Related Names (4)
- 551 _ _ ‡a Dallas, Tex.
- 510 2 _ ‡a International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI; 7 (08-01-2006 - 10-01-2006 : Charleston, SC, USA)
- 510 2 _ ‡a University of Texas
- 510 2 _ ‡a University of Texas ‡e Affiliation
Works
Title | Sources |
---|---|
CAV 2000 | |
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings | |
VMCAI 2006 |