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
On Formal Equivalence Verification of Hardware - MaRDI portal

On Formal Equivalence Verification of Hardware (Q3503620)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Formal Equivalence Verification of Hardware
scientific article

    Statements

    title
    On Formal Equivalence Verification of Hardware (English)
    0 references
    publication date
    5 June 2008
    0 references
    cites work
    Q3842661
    0 references
    Q4165287
    0 references
    Q4037107
    0 references

    Identifiers

    zbMATH DE Number
    5285287
    0 references
    OpenAlex ID
    W1548502699
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3503620&oldid=35059370"
    Powered by MediaWiki