( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What causes a system to satisfy a specification?.

, , und . ACM Trans. Comput. Log., 9 (3): 20:1-20:26 (2008)

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)Inherent Vacuity in Lattice Automata., und . Fields of Logic and Computation II, Volume 9300 von Lecture Notes in Computer Science, Seite 174-192. Springer, (2015)Mutually Accepting Capacitated Automata., und . DCFS, Volume 12442 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2020)Games with Full, Longitudinal, and Transverse Observability.. RP, Volume 12448 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2020)Vacuity detection in temporal model checking., und . Int. J. Softw. Tools Technol. Transf., 4 (2): 224-233 (2003)Fair Simulation., , und . CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 273-287. Springer, (1997)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)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)