( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
LTL generalized model checking revisited.

, и . Int. J. Softw. Tools Technol. Transf., 13 (6): 571-584 (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.

Nir Kahn

Nir Oren

Nir Yogev

Nir Levy

Alois Nirschl

 

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

Obligation Blackwell Games and p-Automata, и . CoRR, (2012)Synthesis of Reactive(1) Designs., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 364-380. Springer, (2006)Liveness with Invisible Ranking., , , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 223-238. Springer, (2004)Safety Verification of Piecewise-Deterministic Markov Processes., , , и . HSCC, стр. 257-266. ACM, (2016)Runtime Verification Meets Controller Synthesis., , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 382-396. Springer, (2022)A PO Characterisation of Reconfiguration., , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 42-59. Springer, (2022)A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata., и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 228-251. Springer, (2022)On Automation of CTL* Verification for Infinite-State Systems., , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 13-29. Springer, (2015)Global Model-Checking of Infinite-State Systems., и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 387-400. Springer, (2004)Generalized Parity Games., , и . FoSSaCS, том 4423 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2007)