( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From bidirectionality to alternation.

, и . Theor. Comput. Sci., (2003)

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

 

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

Toward synthesizing executable models in biology., , и . Frontiers in bioengineering and biotechnology, (2014)Cell-cycle regulation of NOTCH signaling during C. elegans vulval development, , , , , , и . Molecular Systems Biology, (09.10.2012)Obligation Blackwell Games and P-Automata., и . J. Symb. Log., 82 (2): 420-452 (2017)The Only Way Is Up., , и . FM, том 6664 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions., , , и . FMSB, том 5054 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2008)Safraless Compositional Synthesis., , и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 31-44. Springer, (2006)Minimizing Generalized Büchi Automata., и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 45-58. Springer, (2006)LTL Generalized Model Checking Revisited., и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 89-104. Springer, (2009)Equivalence of Probabilistic -Calculus and p-Automata., и . CIAA, том 10329 из Lecture Notes in Computer Science, стр. 64-75. Springer, (2017)Faster temporal reasoning for infinite-state programs., , и . FMCAD, стр. 75-82. IEEE, (2014)