( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantitative Assume Guarantee Synthesis.

, , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 353-374. Springer, (2017)

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)Tightening the Exchange Rates Between Automata.. CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2007)µ-Calculus Synthesis., und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 497-507. Springer, (2000)Dynamic Resource Allocation Games., , und . SAGT, Volume 9928 von Lecture Notes in Computer Science, Seite 153-166. Springer, (2016)Model Checking of Safety Properties., und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 172-183. Springer, (1999)Lattice Automata., und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 199-213. Springer, (2007)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)