A
Menu
November 08, 2021 preprint Open access Aachen paper

Local Reasoning about Parameterized Reconfigurable Distributed Systems

HAL (Le Centre pour la Communication Scientifique Directe)

DOI: 10.1145/3563293 Full text (OA) OpenAlex

Abstract

International audience

Authors 4

  1. Emma Ahrens Aachen

    RWTH Aachen University

    Affiliation as printed

    Rheinisch-Westfälische Technische Hochschule Aachen University

  2. Marius Dorel Bozga

    Verimag

    Affiliation as printed

    VERIMAG

  3. Radu Iosif

    Verimag

    Affiliation as printed

    VERIMAG

  4. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    Rheinisch-Westfälische Technische Hochschule Aachen University

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 40