( en | de | ru )

 

Disambiguierung von "Emerson, E. Allen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract Patterns of Compositional Reasoning.

, , , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 423-438. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert Emerson

Vanessa Emerson

Emerson León

Ryan Emerson

Emerson Barbosa

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Temporal Logic for Automatic Verification of Finite State Systems., , , und . Logics and Models of Concurrent Systems, Volume 13 von NATO ASI Series, Seite 3-26. Springer, (1984)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, und . STOC, Seite 169-180. ACM, (1982)Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice., , , , und . ACM-TURING, Seite 6:1. ACM, (2012)Synthesis of fault-tolerant concurrent programs., , und . ACM Trans. Program. Lang. Syst., 26 (1): 125-185 (2004)Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach., und . ACM Trans. Program. Lang. Syst., 19 (4): 617-638 (1997)On Reasoning About Rings., und . Int. J. Found. Comput. Sci., 14 (4): 527-550 (2003)Cost-Aware Automatic Program Repair., , und . CoRR, (2013)The Complexity of Tree Automata and Logics of Programs., und . SIAM J. Comput., 29 (1): 132-158 (1999)Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 189-200. Springer, (1997)The Propositional Mu-Calculus is Elementary., und . ICALP, Volume 172 von Lecture Notes in Computer Science, Seite 465-472. Springer, (1984)