( en | de | ru )

 

Disambiguierung von "Wijs, Anton"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalizing correspondence rules for automotive architecture views.

, , , , , und . QoSA, Seite 129-138. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Mathilde Antony

Dominik Stephan Antoni

 

Weitere Publikationen von Autoren mit dem selben Namen

Forgetting the Time in Timed Process Algebra.. FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2010)Compositional Model Checking Is Lively., und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 117-136. Springer, (2017)GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 694-701. (2016)Survey on Directed Model Checking., , , , , und . MoChArt, Volume 5348 von Lecture Notes in Computer Science, Seite 65-89. Springer, (2008)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , und . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)An O(m log n) algorithm for branching bisimilarity on labelled transition systems., , , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2020)The HIVE Tool for Informed Swarm State Space Exploration. PDMC, Volume 72 von EPTCS, Seite 91-98. (2011)Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique., und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 383-400. Springer, (2016)From chi-t to µCRL: Combining Performance and Functional Analysis., und . ICECCS, Seite 184-193. IEEE Computer Society, (2005)A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions., , , , und . FACS, Volume 13077 von Lecture Notes in Computer Science, Seite 115-133. Springer, (2021)