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
Temporal Logic Verification for Delay Differential Equations - MaRDI portal

Temporal Logic Verification for Delay Differential Equations (Q3179413)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Temporal Logic Verification for Delay Differential Equations
scientific article

    Statements

    title
    Temporal Logic Verification for Delay Differential Equations (English)
    0 references
    author
    Peter Nazier Mosaad
    0 references
    Martin Fränzle
    0 references
    Bai Xue
    0 references
    publication date
    21 December 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    34K07
    0 references
    65L03
    0 references
    93C43
    0 references
    zbMATH DE Number
    6667719
    0 references
    OpenAlex ID
    W2521596176
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3179413&oldid=36297022"
    Powered by MediaWiki