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
Model Checking Parameterized Systems - MaRDI portal

Model Checking Parameterized Systems (Q3176379)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Parameterized Systems
scientific article

    Statements

    title
    Model Checking Parameterized Systems (English)
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    Mosel
    0 references
    MONA
    0 references
    cites work
    Q4484482
    0 references
    Q4551152
    0 references
    Q4737006
    0 references
    Q2852015
    0 references
    Q4804924
    0 references
    Q4817541
    0 references
    Q2754073
    0 references
    Q2723423
    0 references
    Q4417919
    0 references
    Q4551161
    0 references
    Q4494394
    0 references
    Q4787228
    0 references
    Q2769579
    0 references
    Q4551131
    0 references
    Q4414374
    0 references

    Identifiers

    zbMATH DE Number
    6908887
    0 references
    OpenAlex ID
    W2803302060
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176379&oldid=36410148"
    Powered by MediaWiki