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
Refinements in Typed Abstract State Machines - MaRDI portal

Refinements in Typed Abstract State Machines (Q3401956)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Refinements in Typed Abstract State Machines
scientific article

    Statements

    title
    Refinements in Typed Abstract State Machines (English)
    0 references
    author
    Sebastian Link
    0 references
    Klaus-Dieter Schewe
    0 references
    Jane Zhao
    0 references
    publication date
    2 February 2010
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68P15
    0 references
    68Q45
    0 references
    68U35
    0 references
    zbMATH DE Number
    5665349
    0 references
    OpenAlex ID
    W1483240083
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3401956&oldid=32227291"
    Powered by MediaWiki