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
Functional Specification of Hardware via Temporal Logic - MaRDI portal

Functional Specification of Hardware via Temporal Logic (Q3176382)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Functional Specification of Hardware via Temporal Logic
scientific article

    Statements

    title
    Functional Specification of Hardware via Temporal Logic (English)
    0 references
    author
    Cindy Eisner
    0 references
    Dana Fisman
    0 references
    publication date
    20 July 2018
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    68M07
    0 references
    zbMATH DE Number
    6908890
    0 references
    OpenAlex ID
    W2804949216
    0 references
    cites work
    Q2754115
    0 references
    Defining liveness
    0 references
    Q4417914
    0 references
    Q4472249
    0 references
    Q4551164
    0 references
    Q4817546
    0 references
    Q3336675
    0 references
    Q4449225
    0 references
    Q4385542
    0 references
    Q5465439
    0 references
    Q4910730
    0 references
    Q3768883
    0 references
    Q3318104
    0 references
    Q4525781
    0 references
    Q3862379
    0 references
    Q4817542
    0 references
    Q3711745
    0 references
    Q3141897
    0 references
    Q5641083
    0 references
    Q2771059
    0 references
    Q3341881
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176382&oldid=36410151"
    Powered by MediaWiki