( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Branching time temporal logic.

, and . REX Workshop, volume 354 of Lecture Notes in Computer Science, page 123-172. Springer, (1988)

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

Model Checking and the Mu-calculus.. Descriptive Complexity and Finite Models, volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 185-214. DIMACS/AMS, (1996)Verification of recursive methods on tree-like data structures., and . FMCAD, page 33-40. IEEE, (2009)Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients., , and . ASE, page 480-491. IEEE Computer Society, (2009)Temporal Reasoning Under Generalized Fairness Constraints., and . STACS, volume 210 of Lecture Notes in Computer Science, page 21-36. Springer, (1986)On Partitioning and Symbolic Model Checking., , , and . FM, volume 3582 of Lecture Notes in Computer Science, page 497-511. Springer, (2005)Cost-Aware Automatic Program Repair., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 268-284. Springer, (2014)Multi-threaded reachability., , , , and . DAC, page 467-470. ACM, (2005)A Decidable Temporal Logic to Reason About Many Processes., and . PODC, page 233-246. ACM, (1990)Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , and . ICSE, page 188-198. ACM Press, (1992)Efficient Decompositional Model Checking for Regular Timing Diagrams., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 67-81. Springer, (1999)