WorldCat Identities

Emerson, E. Allen

Overview
Works: 10 works in 47 publications in 1 language and 836 library holdings
Genres: Conference proceedings 
Roles: Editor, Other
Classifications: QA76.76.V47, 005.14
Publication Timeline
Key
Publications about  E. Allen Emerson Publications about E. Allen Emerson
Publications by  E. Allen Emerson Publications by E. Allen Emerson
Most widely held works by E. Allen Emerson
Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings by E. Allen Emerson ( )
18 editions published between 2005 and 2006 in English and held by 546 WorldCat member libraries worldwide
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings by E. Allen Emerson ( Book )
15 editions published in 2000 in English and held by 265 WorldCat member libraries worldwide
Annotation
Automatic verification of finite state concurrent systems using temporal logic specifications : a practical approach by Edmund Clarke ( Book )
2 editions published between 1983 and 1985 in English and held by 6 WorldCat member libraries worldwide
No abstract
Verification, model checking, and abstract interpretation 7th international conference ; proceedings ( )
2 editions published in 2006 in English and held by 5 WorldCat member libraries worldwide
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings by Kedar S Namjoshi ( )
2 editions published in 2006 in English and held by 3 WorldCat member libraries worldwide
Annotation
Alternative semantics for temporal logics by E. Allen Emerson ( Book )
4 editions published in 1981 in English and Undetermined and held by 3 WorldCat member libraries worldwide
No abstract
Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, U.S.A., July 15-19, 2000, Proceedings by E. Allen Emerson ( )
1 edition published in 2000 in English and held by 3 WorldCat member libraries worldwide
Annotation
Visual Information and Information Systems by Stéphane Bres ( Book )
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
Molecular model checking by E. Allen Emerson ( Book )
in English and held by 2 WorldCat member libraries worldwide
Computer aided verification ( )
1 edition published in 2000 in English and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.00 for Computer a ... to 1.00 for Molecular ...)
Alternative Names
Allen Emerson, E. 1954-
Emerson, Ernest Allen 1954-
Languages
English (46)
Covers