( en | de | ru )

 

Disambiguierung von "Grumberg, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

Variable Automata over Infinite Alphabets., , und . LATA, Volume 6031 von Lecture Notes in Computer Science, Seite 561-572. Springer, (2010)A game-based framework for CTL counterexamples and 3-valued abstraction-refinement., und . ACM Trans. Comput. Log., 9 (1): 1 (2007)Model Checking and Abstraction., , und . POPL, Seite 342-354. ACM Press, (1992)An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 397-411. Springer, (2013)Monotonic Abstraction-Refinement for CTL., und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 546-560. Springer, (2004)Generation of Reduced Models for Checking Fragments of CTL., , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 479-490. Springer, (1993)Program Composition via Unification., , und . ICALP, Volume 623 von Lecture Notes in Computer Science, Seite 672-684. Springer, (1992)Verifying Behavioral UML Systems via CEGAR., , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2014)A Framework for Translating Models and Specifications., und . IFM, Volume 2335 von Lecture Notes in Computer Science, Seite 145-164. Springer, (2002)Simulation Based Minimization., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 255-270. Springer, (2000)