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
Parametric Model Checking with VerICS - MaRDI portal

Parametric Model Checking with VerICS (Q3066135)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parametric Model Checking with VerICS
scientific article

    Statements

    title
    Parametric Model Checking with VerICS (English)
    0 references
    author
    Michał Knapik
    0 references
    Artur Niewiadomski
    0 references
    Wojciech Penczek
    0 references
    Agata Półrola
    0 references
    MacIej Szreter
    0 references
    Andrzej Zbrzezny
    0 references
    publication date
    8 January 2011
    0 references

    Identifiers

    zbMATH DE Number
    5834078
    0 references
    Wikidata QID
    Q62045392
    0 references
    OpenAlex ID
    W1562437882
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3066135&oldid=37914143"
    Powered by MediaWiki