( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.

. CAV, том 939 из Lecture Notes in Computer Science, стр. 325-338. Springer, (1995)

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

 

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

Multi-player flow games., , и . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Games with Full, Longitudinal, and Transverse Observability.. RP, том 12448 из Lecture Notes in Computer Science, стр. 20-34. Springer, (2020)Mutually Accepting Capacitated Automata., и . DCFS, том 12442 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2020)Inherent Vacuity in Lattice Automata., и . Fields of Logic and Computation II, том 9300 из Lecture Notes in Computer Science, стр. 174-192. Springer, (2015)Erratum for "What causes a system to satisfy a specification?"., , и . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)On the Universal and Existential Fragments of the µ-Calculus., , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 49-64. Springer, (2003)Coverage Metrics for Temporal Logic Model Checking., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 528-542. Springer, (2001)From Complementation to Certification., и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 591-606. Springer, (2004)A Practical Approach to Coverage in Model Checking., , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 66-78. Springer, (2001)Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.. CAV, том 939 из Lecture Notes in Computer Science, стр. 325-338. Springer, (1995)