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
Compositional Model Checking of Concurrent Systems - MaRDI portal

Compositional Model Checking of Concurrent Systems (Q2982239)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional Model Checking of Concurrent Systems
scientific article

    Statements

    title
    Compositional Model Checking of Concurrent Systems (English)
    0 references
    author
    Hao Zheng
    0 references
    Zhen Zhang
    0 references
    Chris Myers
    0 references
    Emmanuel Rodriguez
    0 references
    Ying-ying Zhang
    0 references
    publication date
    16 May 2017
    0 references

    Identifiers

    zbMATH DE Number
    6716386
    0 references
    Wikidata QID
    Q59859467
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2982239&oldid=31058992"
    Powered by MediaWiki