( en | de | ru )

 

Disambiguierung von "Emerson, E. Allen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking: algorithmic verification and debugging.

, , und . Commun. ACM, 52 (11): 74-84 (2009)

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

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients., , und . ASE, Seite 480-491. IEEE Computer Society, (2009)On Model Checking for Non-Deterministic Infinite-State Systems., und . LICS, Seite 70-80. IEEE Computer Society, (1998)Tree Automata, Mu-Calculus and Determinacy (Extended Abstract), und . FOCS, Seite 368-377. IEEE Computer Society, (1991)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2002)On Model-Checking for Fragments of µ-Calculus., , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 385-396. Springer, (1993)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 387-390. Springer, (2001)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 465-479. Springer, (2001)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, Volume 939 von Lecture Notes in Computer Science, Seite 141. Springer, (1995)An Algorithmic Framework for Synthesis of Concurrent Programs., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 522-530. Springer, (2011)Temporal Reasoning Under Generalized Fairness Constraints., und . STACS, Volume 210 von Lecture Notes in Computer Science, Seite 21-36. Springer, (1986)