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
Runtime enforcement of hyperproperties - MaRDI portal

Runtime enforcement of hyperproperties (Q2147207)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Runtime enforcement of hyperproperties
scientific article

    Statements

    title
    Runtime enforcement of hyperproperties (English)
    0 references
    author
    Norine Coenen
    0 references
    Bernd Finkbeiner
    0 references
    Christopher Hahn
    0 references
    Jana Hofmann
    0 references
    Yannick Schillo
    0 references
    publication date
    22 June 2022
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    91A80
    0 references
    zbMATH DE Number
    7546609
    0 references
    describes a project that uses
    Strix
    0 references
    PGSolver
    0 references
    OpenAlex ID
    W3206405735
    0 references
    arXiv ID
    2203.04146
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2147207&oldid=36820623"
    Powered by MediaWiki