( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The HIVE Tool for Informed Swarm State Space Exploration

. PDMC, том 72 из EPTCS, стр. 91-98. (2011)

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

Michael Antoni

Ernst Antony

 

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

Forgetting the Time in Timed Process Algebra.. FMOODS/FORTE, том 6117 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2010)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)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , и . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)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)The HIVE Tool for Informed Swarm State Space Exploration. PDMC, том 72 из EPTCS, стр. 91-98. (2011)Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique., и . FASE, том 9633 из Lecture Notes in Computer Science, стр. 383-400. Springer, (2016)From chi-t to µCRL: Combining Performance and Functional Analysis., и . ICECCS, стр. 184-193. IEEE Computer Society, (2005)A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions., , , , и . FACS, том 13077 из Lecture Notes in Computer Science, стр. 115-133. Springer, (2021)