Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (Q3296318)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
scientific article

    Statements

    Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 July 2020
    0 references

    Identifiers