( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Introduction of Virtualization Technology to Multi-Process Model Checking.

, , , , и . NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 106-110. (2009)

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.

Mitsuharu Otani

Masaaki Yamamoto

Shelby Yamamoto

Kenji Yamamoto

Jun Yamamoto

 

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

Automated Dataset Construction from Web Resources with Tool Kayur., , и . Int. J. Netw. Comput., 7 (2): 271-294 (2017)Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic., , , и . FLOPS, том 2998 из Lecture Notes in Computer Science, стр. 7-21. Springer, (2004)Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata., и . APLAS, стр. 193-205. (2001)UML Scrapbook and Realization of Snapshot Programming Environment., , , и . ISSS, том 3233 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2003)Formalization of Graph Search Algorithms and Its Applications., , , , и . TPHOLs, том 1479 из Lecture Notes in Computer Science, стр. 479-496. Springer, (1998)Formalization of Bing's Shrinking Method in Geometric Topology., , и . CICM, том 9791 из Lecture Notes in Computer Science, стр. 18-27. Springer, (2016)Formalization of Karp-Miller tree construction on petri nets., , и . CPP, стр. 66-78. ACM, (2017)Decidability of Safety Properties of Timed Multiset Rewriting., , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 165-184. Springer, (2002)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , и . TABLEAUX, том 3702 из Lecture Notes in Computer Science, стр. 277-291. Springer, (2005)Formalization of Planar Graphs., , , и . TPHOLs, том 971 из Lecture Notes in Computer Science, стр. 369-384. Springer, (1995)