figshare
Browse

ReplicationPackage180

Download (34.59 kB)
Version 4 2022-02-01, 13:23
Version 3 2021-12-12, 17:24
Version 2 2021-12-10, 13:55
Version 1 2021-12-10, 09:01
software
posted on 2022-02-01, 13:23 authored by Blind ReviewBlind Review
Replication Package for Submission 180 in OSDI'22.

History

Usage metrics

    Categories

    Keywords

    UPPAAL model checkerOperating System (OS)Conceptual ModellingSimulation and ModellingOperating Systems

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC