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
Monitoring Parametric Temporal Logic - MaRDI portal

Monitoring Parametric Temporal Logic (Q2938076)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monitoring Parametric Temporal Logic
scientific article

    Statements

    title
    Monitoring Parametric Temporal Logic (English)
    0 references
    author
    Peter Faymonville
    0 references
    Bernd Finkbeiner
    0 references
    Doron A. Peled
    0 references
    publication date
    13 January 2015
    0 references

    Identifiers

    zbMATH DE Number
    6385891
    0 references
    OpenAlex ID
    W131766706
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2938076&oldid=32523089"
    Powered by MediaWiki