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
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND - MaRDI portal

VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND (Q3426787)

From MaRDI portal
scientific article
Language Label Description Also known as
English
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND
scientific article

    Statements

    title
    VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND (English)
    0 references
    author
    Limor Fix
    0 references
    Orna Grumberg
    0 references
    Amnon Heyman
    0 references
    Tamir Heyman
    0 references
    Assaf Schuster
    0 references
    publication date
    13 March 2007
    0 references
    zbMATH Keywords
    distributed
    0 references
    model checking
    0 references
    bdds
    0 references
    slicing
    0 references
    reorder
    0 references

    Identifiers

    zbMATH DE Number
    5133321
    0 references
    OpenAlex ID
    W2049782476
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3426787&oldid=36936814"
    Powered by MediaWiki