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
Survey on Directed Model Checking - MaRDI portal

Survey on Directed Model Checking (Q3614878)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Survey on Directed Model Checking
scientific article

    Statements

    title
    Survey on Directed Model Checking (English)
    0 references
    author
    Stefan Edelkamp
    0 references
    Viktor Schuppan
    0 references
    Dragan Bošnački
    0 references
    Anton Wijs
    0 references
    Ansgar Fehnker
    0 references
    Husain Aljazzar
    0 references
    publication date
    17 March 2009
    0 references
    zbMATH DE Number
    5529448
    0 references
    OpenAlex ID
    W2129659049
    0 references
    cites work
    Q2769586
    0 references
    On a routing problem
    0 references
    Q2852018
    0 references
    Q4817546
    0 references
    Q2753753
    0 references
    Q4037099
    0 references
    Q4738472
    0 references
    Q4385542
    0 references
    Q2754101
    0 references
    Q4737581
    0 references
    Q4356435
    0 references
    Frontier search
    0 references
    Q4326390
    0 references
    Q4493879
    0 references
    Q4426363
    0 references
    Q4324960
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3614878&oldid=35098258"
    Powered by MediaWiki