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
Incremental construction of coverability graphs - MaRDI portal

Incremental construction of coverability graphs (Q2379973)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incremental construction of coverability graphs
scientific article

    Statements

    title
    Incremental construction of coverability graphs (English)
    0 references
    author
    Barbara König
    0 references
    Vitali Kozioura
    0 references
    publication date
    24 March 2010
    0 references
    zbMATH DE Number
    5686414
    0 references
    zbMATH Keywords
    concurrency
    0 references
    formal methods
    0 references
    Petri nets
    0 references
    coverability
    0 references
    OpenAlex ID
    W2079417052
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2379973&oldid=35159188"
    Powered by MediaWiki