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
Synthesis for continuous time - MaRDI portal

Synthesis for continuous time (Q2355696)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis for continuous time
scientific article

    Statements

    title
    Synthesis for continuous time (English)
    0 references
    author
    Tim French
    0 references
    John C. McCabe-Dansted
    0 references
    M. A. Reynolds
    0 references
    publication date
    24 July 2015
    0 references
    zbMATH Keywords
    temporal logic
    0 references
    real-number time
    0 references
    synthesis
    0 references

    Identifiers

    zbMATH DE Number
    6463990
    0 references
    OpenAlex ID
    W563910258
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2355696&oldid=39030282"
    Powered by MediaWiki