( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of Uninitialized Systems.

, , , и . ICALP, том 2380 из Lecture Notes in Computer Science, стр. 644-656. Springer, (2002)

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

 

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

Relating linear and branching model checking., и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 304-326. Chapman & Hall, (1998)Automatic Generation of Quality Specifications., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 479-494. Springer, (2013)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Lazy Regular Sensing., и . DCFS, том 13439 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2022)On Semantically-Deterministic Automata., и . ICALP, том 261 из LIPIcs, стр. 109:1-109:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Perspective Multi-Player Games., и . LICS, стр. 1-13. IEEE, (2021)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)On the Complexity of Parity Word Automata., , и . FoSSaCS, том 2030 из Lecture Notes in Computer Science, стр. 276-286. Springer, (2001)