( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

, , , , , и . CCGRID, стр. 335-343. IEEE Computer Society, (2012)

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.

Ning Wan

Shuying Wan

Wan Shen

Xianglong Wan

Hui Wan

 

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

Creating Büchi Automata for Multi-valued Model Checking., и . FORTE, том 10321 из Lecture Notes in Computer Science, стр. 210-224. Springer, (2017)Maximal Synthesis for Hennessy-Milner Logic., , и . ACM Trans. Embed. Comput. Syst., 14 (1): 10:1-10:21 (2015)Is Timed Branching Bisimilarity a Congruence Indeed?, , и . Fundam. Informaticae, 87 (3-4): 287-311 (2008)A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.. Fundam. Informaticae, 26 (2): 103-113 (1996)Divide and Congruence III: Stability & Divergence., , и . CONCUR, том 85 из LIPIcs, стр. 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Model-based design of supervisory controllers for baggage handling systems., , , и . Simul. Model. Pract. Theory, (2017)Preface: Process Algebra., и . Inf. Process. Lett., 80 (1): 1 (2001)Model checking mobile ad hoc networks., и . Formal Methods Syst. Des., 49 (3): 159-189 (2016)Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation., , и . FMCO, том 4111 из Lecture Notes in Computer Science, стр. 195-218. Springer, (2005)Process Algebra: An Algebraic Theory of Concurrency.. CAI, том 5725 из Lecture Notes in Computer Science, стр. 47-77. Springer, (2009)