( en | de | ru )

 

Disambiguierung von "Emerson, E. Allen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On partitioning and symbolic model checking.

, , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 780-788 (2006)

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

Emerson Barbosa

Ryan Emerson

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , und . ICSE, Seite 188-198. ACM Press, (1992)A Decidable Temporal Logic to Reason About Many Processes., und . PODC, Seite 233-246. ACM, (1990)Multi-threaded reachability., , , , und . DAC, Seite 467-470. ACM, (2005)Model Checking: Progress and Problems.. VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 1. Springer, (2009)Model Checking Synchronous Timing Diagrams., , , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2000)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2002)Abstract Patterns of Compositional Reasoning., , , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 423-438. Springer, (2003)Cost-Aware Automatic Program Repair., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 268-284. Springer, (2014)An Algorithmic Framework for Synthesis of Concurrent Programs., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 522-530. Springer, (2011)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, Volume 939 von Lecture Notes in Computer Science, Seite 141. Springer, (1995)