( en | de | ru )

 

Disambiguierung von "Clarke, Edmund M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
25 Years of Model Checking.

, und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 26-40. Springer, (2014)

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.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Kevin Clarke

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams., , , , und . ISCAS, Seite 275-278. IEEE, (1994)Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan., und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 758-763. Springer, (1994)Expressibility results for linear-time and branching-time logics., und . REX Workshop, Volume 354 von Lecture Notes in Computer Science, Seite 428-437. Springer, (1988)Symmetry Reductions in Model Checking., , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 147-158. Springer, (1998)From non-preemptive to preemptive scheduling using synchronization synthesis., , , , , , und . Formal Methods Syst. Des., 50 (2-3): 97-139 (2017)Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , und . Correct System Design, Volume 1710 von Lecture Notes in Computer Science, Seite 163-179. Springer, (1999)SAT-Based Counterexample Guided Abstraction Refinement.. SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 1. Springer, (2002)Escher - a geometrical layout system for recursively defined circuits., und . DAC, Seite 650-653. IEEE Computer Society Press, (1986)Model Checking and Abstraction., , und . POPL, Seite 342-354. ACM Press, (1992)Computational Modeling and Verification of Signaling Pathways in Cancer., , , , und . ANB, Volume 6479 von Lecture Notes in Computer Science, Seite 117-135. Springer, (2010)