( en | de | ru )

 

Disambiguation

From post

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

, и . LPAR (Dakar), том 6355 из Lecture Notes in Computer Science, стр. 312-331. Springer, (2010)

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)Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction., и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2012)A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking., , и . CONCUR, том 1119 из Lecture Notes in Computer Science, стр. 514-529. Springer, (1996)Sensing as a Complexity Measure., , и . DCFS, том 10316 из Lecture Notes in Computer Science, стр. 3-15. Springer, (2017)On the Complexity of Parity Word Automata., , и . FoSSaCS, том 2030 из Lecture Notes in Computer Science, стр. 276-286. Springer, (2001)An Abstraction-Refinement Framework for Trigger Querying., и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 263-279. Springer, (2011)Network-Formation Games with Regular Objectives., , и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 119-133. Springer, (2014)Parameterized Weighted Containment., и . FoSSaCS, том 7794 из Lecture Notes in Computer Science, стр. 369-384. Springer, (2013)Max and Sum Semantics for Alternating Weighted Automata., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 13-27. Springer, (2011)Model Checking Systems and Specifications with Parameterized Atomic Propositions., , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2012)