( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partial-Order Reduction for GPU Model Checking.

, , , и . ATVA, том 9938 из Lecture Notes in Computer Science, стр. 357-374. (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.

Sacha Alain Christophe Wijs

Media and transition in central and eastern Europe: a comparison between the German Democratic Republic and Hungary. HU Berlin, (2009)

Dinah Wijsenbeek

Sacha Alain Christophe Wijs

Ernst Antony

Horst Anton

 

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

Compositional Model Checking Is Lively., и . FACS, том 10487 из Lecture Notes in Computer Science, стр. 117-136. Springer, (2017)GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 694-701. (2016)Survey on Directed Model Checking., , , , , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 65-89. Springer, (2008)Forgetting the Time in Timed Process Algebra.. FMOODS/FORTE, том 6117 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2010)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , и . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)The HIVE Tool for Informed Swarm State Space Exploration. PDMC, том 72 из EPTCS, стр. 91-98. (2011)An O(m log n) algorithm for branching bisimilarity on labelled transition systems., , , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2020)Towards Verified Java Code Generation from Concurrent State Machines., , , , , , и . AMT@MoDELS, том 1277 из CEUR Workshop Proceedings, стр. 64-69. CEUR-WS.org, (2014)A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions., , , , и . FACS, том 13077 из Lecture Notes in Computer Science, стр. 115-133. Springer, (2021)Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique., и . FASE, том 9633 из Lecture Notes in Computer Science, стр. 383-400. Springer, (2016)