( en | de | ru )

 

Disambiguierung von "Grumberg, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simulation-based minimazation.

, und . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)

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

Model checking, , und . MIT Press, Cambridge, Mass., (1999)A work-efficient distributed algorithm for reachability analysis., , und . Formal Methods Syst. Des., 29 (2): 157-175 (2006)Another Look at LTL Model Checking., , und . Formal Methods Syst. Des., 10 (1): 47-71 (1997)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , und . Formal Methods Syst. Des., 35 (1): 6-39 (2009)The 2008 CAV Award citation., , , und . Formal Methods Syst. Des., 35 (1): 4-5 (2009)Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking., und . Formal Methods Syst. Des., 27 (1-2): 29-66 (2005)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , und . CHDL, Volume A-32 von IFIP Transactions, Seite 15-30. North-Holland, (1993)Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , und . Dagstuhl Reports, 6 (5): 56-71 (2016)Simulation-based minimazation., und . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)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)