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
Using Bisimulations for Optimality Problems in Model Refinement - MaRDI portal

Using Bisimulations for Optimality Problems in Model Refinement (Q3007576)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using Bisimulations for Optimality Problems in Model Refinement
scientific article

    Statements

    title
    Using Bisimulations for Optimality Problems in Model Refinement (English)
    0 references
    author
    Roland Glück
    0 references
    publication date
    17 June 2011
    0 references

    Identifiers

    zbMATH DE Number
    5908625
    0 references
    Wikidata QID
    Q62039045
    0 references
    OpenAlex ID
    W166961375
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3007576&oldid=37908613"
    Powered by MediaWiki