( en | de | ru )

 

Disambiguierung von "Emerson, E. Allen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scheduling workflows by enforcing intertask dependencies.

, , , , und . Distributed Systems Engineering, 3 (4): 222-238 (1996)

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

Real-Time and the Mu-Calculus (Preliminary Report).. REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 176-194. Springer, (1991)The Propositional Mu-Calculus is Elementary., und . ICALP, Volume 172 von Lecture Notes in Computer Science, Seite 465-472. Springer, (1984)The Beginning of Model Checking: A Personal Perspective.. 25 Years of Model Checking, Volume 5000 von Lecture Notes in Computer Science, Seite 27-45. Springer, (2008)A More Efficient BDD-Based QBF Solver., und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 675-690. Springer, (2011)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2003)Verification of Parameterized Bus Arbitration Protocol., und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 452-463. Springer, (1998)Symmetry and Model Checking., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 463-478. Springer, (1993)Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 309-324. Springer, (1995)Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)., und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 87-98. Springer, (1996)Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 189-200. Springer, (1997)