( en | de | ru )

 

Disambiguierung von "Grumberg, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complete Rule for Equifair Termination.

, , und . J. Comput. Syst. Sci., 33 (3): 313-332 (1986)

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)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)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)A work-efficient distributed algorithm for reachability analysis., , und . Formal Methods Syst. Des., 29 (2): 157-175 (2006)Efficient On-the-Fly Model Checking for CTL*, , und . LICS, Seite 388-397. IEEE Computer Society, (1995)Progress on the State Explosion Problem in Model Checking., , , , und . Informatics, Volume 2000 von Lecture Notes in Computer Science, Seite 176-194. Springer, (2001)Model Checking, , und . The MIT Press, (1999)Simulation-based minimazation., und . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)