( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Once and For All

, und . LICS, Seite 25-35. IEEE Computer Society, (1995)

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

Relating linear and branching model checking., und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 304-326. Chapman & Hall, (1998)Once and for all., , und . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)On the universal and existential fragments of the mu-calculus., , und . Theor. Comput. Sci., 354 (2): 173-186 (2006)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Automatic Generation of Quality Specifications., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 479-494. Springer, (2013)µ-Calculus Synthesis., und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 497-507. Springer, (2000)Max and Sum Semantics for Alternating Weighted Automata., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 13-27. Springer, (2011)Model Checking Systems and Specifications with Parameterized Atomic Propositions., , und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 122-136. Springer, (2012)Spanning the Spectrum from Safety to Liveness., und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 183-200. Springer, (2015)Latticed Simulation Relations and Games., und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 316-330. Springer, (2007)