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
Trace Diagnostics Using Temporal Implicants - MaRDI portal

Trace Diagnostics Using Temporal Implicants (Q3460567)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Trace Diagnostics Using Temporal Implicants
scientific article

    Statements

    title
    Trace Diagnostics Using Temporal Implicants (English)
    0 references
    author
    Thomas Ferrère
    0 references
    Oded Maler
    0 references
    Dejan Ničković
    0 references
    publication date
    8 January 2016
    0 references

    Identifiers

    zbMATH DE Number
    6527556
    0 references
    OpenAlex ID
    W2294550728
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3460567&oldid=32166009"
    Powered by MediaWiki