( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inherent Vacuity in Lattice Automata.

, и . Fields of Logic and Computation II, том 9300 из Lecture Notes in Computer Science, стр. 174-192. Springer, (2015)

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)Dynamic Resource Allocation Games., , и . SAGT, том 9928 из Lecture Notes in Computer Science, стр. 153-166. Springer, (2016)µ-Calculus Synthesis., и . MFCS, том 1893 из Lecture Notes in Computer Science, стр. 497-507. Springer, (2000)Lattice Automata., и . VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 199-213. Springer, (2007)The Complexity of the Graded µ-Calculus., , и . CADE, том 2392 из Lecture Notes in Computer Science, стр. 423-437. Springer, (2002)Tightening the Exchange Rates Between Automata.. CSL, том 4646 из Lecture Notes in Computer Science, стр. 7-22. Springer, (2007)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)Automatic Generation of Quality Specifications., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 479-494. Springer, (2013)