Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction - MaRDI portal

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

    title
    Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (English)
    0 references
    author
    Benjamin Aminof
    0 references
    Sasha Rubin
    0 references
    Ilina Stoilkovska
    0 references
    Josef Widder
    0 references
    Florian Zuleger
    0 references
    publication date
    7 July 2020
    0 references

    Identifiers

    zbMATH DE Number
    7218132
    0 references
    OpenAlex ID
    W2779460099
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3296318&oldid=32786720"
    Powered by MediaWiki