( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Visual Specifications for Modular Reasoning about Asynchronous Systems.

, , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 226-242. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vanessa Emerson

Robert Emerson

Emerson León

Ryan Emerson

Emerson Barbosa

 

Other publications of authors with the same name

On Reasoning About Rings., and . Int. J. Found. Comput. Sci., 14 (4): 527-550 (2003)Deciding Branching Time Logic, and . STOC, page 14-24. ACM, (1984)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, and . STOC, page 169-180. ACM, (1982)Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice., , , , and . ACM-TURING, page 6:1. ACM, (2012)Reasoning about Rings., and . POPL, page 85-94. ACM Press, (1995)Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach., , and . POPL, page 117-126. ACM Press, (1983)The Beginning of Model Checking: A Personal Perspective.. 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, page 27-45. Springer, (2008)Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach., and . CAV, volume 939 of Lecture Notes in Computer Science, page 309-324. Springer, (1995)Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 87-98. Springer, (1996)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)