( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal Specifications with Accumulative Values.

, , , и . LICS, стр. 43-52. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Другие публикации лиц с тем же именем

Properties and Utilization of Capacitated Automata (Invited Talk)., и . FSTTCS, том 29 из LIPIcs, стр. 33-44. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)From Pre-Historic to Post-Modern Symbolic Model Checking., , и . Formal Methods Syst. Des., 23 (3): 303-327 (2003)Good-Enough Synthesis., и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 541-563. Springer, (2020)Relating linear and branching model checking., и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 304-326. Chapman & Hall, (1998)Lazy Regular Sensing., и . DCFS, том 13439 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2022)From Correctness to High Quality.. FMCAD, стр. 1. IEEE, (2020)On the universal and existential fragments of the mu-calculus., , и . Theor. Comput. Sci., 354 (2): 173-186 (2006)Once and for all., , и . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Automatic Generation of Quality Specifications., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 479-494. Springer, (2013)