( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic.

, and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 52-71. Springer, (1981)

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.

Robert Emerson

Vanessa Emerson

Emerson León

Emerson Barbosa

Ryan Emerson

 

Other publications of authors with the same name

Verification of recursive methods on tree-like data structures., and . FMCAD, page 33-40. IEEE, (2009)A Decidable Temporal Logic to Reason About Many Processes., and . PODC, page 233-246. ACM, (1990)An Algorithmic Framework for Synthesis of Concurrent Programs., and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 522-530. Springer, (2011)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 226-242. Springer, (2002)On partitioning and symbolic model checking., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 780-788 (2006)Symmetry Reductions in Model Checking., , , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 147-158. Springer, (1998)Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , and . ICSE, page 188-198. ACM Press, (1992)Multi-threaded reachability., , , , and . DAC, page 467-470. ACM, (2005)Model Checking Synchronous Timing Diagrams., , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 283-298. Springer, (2000)Temporal Reasoning Under Generalized Fairness Constraints., and . STACS, volume 210 of Lecture Notes in Computer Science, page 21-36. Springer, (1986)