( en | de | ru )

 

Disambiguierung von "Grumberg, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
2010 CAV award announcement.

, , , und . Formal Methods Syst. Des., 40 (2): 117-120 (2012)

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.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of the Futurebus+ Cache Coherence Protocol., , , , , , und . CHDL, Volume A-32 von IFIP Transactions, Seite 15-30. North-Holland, (1993)Model checking, , und . MIT Press, Cambridge, Mass., (1999)Simulation-based minimazation., und . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)Reasoning About Networks With Many Identical Finite-State Processes., , und . PODC, Seite 240-248. ACM, (1986)Model Checking, , und . The MIT Press, (1999)The Modular Framework of Computer-Aided Verification., und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 359-380. DIMACS/AMS, (1990)Branching Time Temporal Logic and Amorphous Tree Automata., und . CONCUR, Volume 715 von Lecture Notes in Computer Science, Seite 262-277. Springer, (1993)Hybrid BDD and All-SAT Method for Model Checking., , und . Languages: From Formal to Natural, Volume 5533 von Lecture Notes in Computer Science, Seite 228-244. Springer, (2009)A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement., und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 275-287. Springer, (2003)Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 93-106. Springer, (2002)