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 LTLR Formulas under Localized Fairness - MaRDI portal

Model Checking LTLR Formulas under Localized Fairness (Q3164834)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking LTLR Formulas under Localized Fairness
scientific article

    Statements

    title
    Model Checking LTLR Formulas under Localized Fairness (English)
    0 references
    author
    Kyungmin Bae
    0 references
    José Meseguer
    0 references
    publication date
    16 October 2012
    0 references
    describes a project that uses
    SPIN
    0 references
    PAT
    0 references
    Maude
    0 references

    Identifiers

    zbMATH DE Number
    6094339
    0 references
    OpenAlex ID
    W127533267
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3164834&oldid=33055141"
    Powered by MediaWiki