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
Open Maps Bisimulations for Higher Dimensional Automata Models - MaRDI portal

Open Maps Bisimulations for Higher Dimensional Automata Models (Q3183618)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Open Maps Bisimulations for Higher Dimensional Automata Models
scientific article

    Statements

    title
    Open Maps Bisimulations for Higher Dimensional Automata Models (English)
    0 references
    publication date
    20 October 2009
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q45
    0 references
    18B20
    0 references
    68Q85
    0 references
    zbMATH DE Number
    5618597
    0 references
    OpenAlex ID
    W1558612067
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3183618&oldid=33040938"
    Powered by MediaWiki