( en | de | ru )

 

Disambiguierung von "Emerson, E. Allen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing Model Checking of the Many to the Few.

, und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 236-254. Springer, (2000)

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.

Vanessa Emerson

Robert Emerson

Emerson León

Ryan Emerson

Emerson Barbosa

 

Weitere Publikationen von Autoren mit dem selben Namen

Alternative Semantics for Temporal Logics.. Theor. Comput. Sci., (1983)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)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2003)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)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)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)Real-Time and the Mu-Calculus (Preliminary Report).. REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 176-194. Springer, (1991)Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 189-200. Springer, (1997)