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
Proving systolic systems correct - MaRDI portal

Proving systolic systems correct (Q3732952)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving systolic systems correct
scientific article

    Statements

    title
    Proving systolic systems correct (English)
    0 references
    publication date
    1986
    0 references
    zbMATH Keywords
    algorithms
    0 references
    verification
    0 references
    proof system
    0 references
    specifications
    0 references
    implementations
    0 references
    syntactic transformations
    0 references
    induction
    0 references

    Identifiers

    DOI
    10.1145/5956.5999
    0 references
    zbMATH DE Number
    3965432
    0 references
    OpenAlex ID
    W2011523523
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3732952&oldid=32690952"
    Powered by MediaWiki