( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking mobile ad hoc networks.

, и . Formal Methods Syst. Des., 49 (3): 159-189 (2016)

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

 

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

SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions., , , , , и . EuroS&P, стр. 569-586. IEEE, (2020)Towards the Definition of an Ontology for Trust in (Web) Data., , , и . URSW, том 1259 из CEUR Workshop Proceedings, стр. 73-78. CEUR-WS.org, (2014)Analyzing User Demographics and User Behavior for Trust Assessment., , , , и . URSW (LNCS Vol.), том 8816 из Lecture Notes in Computer Science, стр. 219-241. Springer, (2014)Analyzing the Redesign of a Distributed Lift System in UPPAAL., , и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 504-522. Springer, (2003)Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities., , , , , , , , , и 4 other автор(ы). UMAP Workshops, том 997 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Towards Formal Verification of ToolBusScripts., , , и . AMAST, том 5140 из Lecture Notes in Computer Science, стр. 160-166. Springer, (2008)Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size., и . The Art of Modelling Computational Systems, том 11760 из Lecture Notes in Computer Science, стр. 3-13. Springer, (2019)Fault-Tolerant Termination Detection with Safra's Algorithm., , и . NETYS, том 12754 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2021)Divide and Congruence III: Stability & Divergence., , и . CONCUR, том 85 из LIPIcs, стр. 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Creating Büchi Automata for Multi-valued Model Checking., и . FORTE, том 10321 из Lecture Notes in Computer Science, стр. 210-224. Springer, (2017)