( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Module Checking.

, , und . Inf. Comput., 164 (2): 322-344 (2001)

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

Erratum for "What causes a system to satisfy a specification?"., , und . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)Synthesis of Trigger Properties., und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 312-331. Springer, (2010)Coping with Selfish On-Going Behaviors., und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 501-516. Springer, (2010)On Locally Checkable Properties., , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 302-316. Springer, (2006)Reasoning About Systems with Transition Fairness., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 194-208. Springer, (2004)A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 348-363. Springer, (2014)On the Universal and Existential Fragments of the µ-Calculus., , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2003)Coverage Metrics for Temporal Logic Model Checking., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 528-542. Springer, (2001)From Complementation to Certification., und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 591-606. Springer, (2004)A Practical Approach to Coverage in Model Checking., , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 66-78. Springer, (2001)