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
Statistical Model Checking Using Perfect Simulation - MaRDI portal

Statistical Model Checking Using Perfect Simulation (Q3648695)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Statistical Model Checking Using Perfect Simulation
scientific article

    Statements

    title
    Statistical Model Checking Using Perfect Simulation (English)
    0 references
    author
    Diana El Rabih
    0 references
    Nihal Pekergin
    0 references
    publication date
    1 December 2009
    0 references

    Identifiers

    zbMATH DE Number
    5640933
    0 references
    OpenAlex ID
    W1588278207
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3648695&oldid=35140740"
    Powered by MediaWiki