Work

Supplementary Material To Paper: Event Abstraction With Guarantees Through Synchronization

Year: 2025

Type: supplementary-materials

Abstract: The following paper is the supplementary material for our main paper entitled "Event Abstraction With Guarantees Through Synchronization" referred to as the main paper.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.14998898

Author: Anonymous, Anonymous

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6949184777

Cites:

Cited by:

Related to: