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
Model Checking Probabilistic Systems - MaRDI portal

Model Checking Probabilistic Systems (Q3176386)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Probabilistic Systems
scientific article

    Statements

    title
    Model Checking Probabilistic Systems (English)
    0 references
    author
    Luca de Alfaro
    0 references
    Vojtěch Forejt
    0 references
    Marta Kwiatkowska
    0 references
    Christel Baier
    0 references
    publication date
    20 July 2018
    0 references
    zbMATH DE Number
    6908894
    0 references
    describes a project that uses
    PRISM
    0 references
    PARAM
    0 references
    Rabinizer
    0 references
    Bio-PEPA
    0 references
    ProbDiVinE
    0 references
    LiQuor
    0 references
    PASS
    0 references
    MoDeST
    0 references
    Rapture
    0 references
    OpenAlex ID
    W2803993242
    0 references
    cites work
    Q4536611
    0 references
    Q4835250
    0 references
    Q3394898
    0 references
    Q4791844
    0 references
    Q4518905
    0 references
    Q4943605
    0 references
    Q4673428
    0 references
    Q5322945
    0 references
    Q5137353
    0 references
    Q4217271
    0 references
    Q4484499
    0 references
    Computer Science Logic
    0 references
    Q5501249
    0 references
    Q4817549
    0 references
    Q4385542
    0 references
    Q5798359
    0 references
    Q2760248
    0 references
    Q4000282
    0 references
    Q3262596
    0 references
    Q4864760
    0 references
    Q4813204
    0 references
    Q4813209
    0 references
    Q3126969
    0 references
    Markov Chains
    0 references
    Q4315289
    0 references
    Q4847023
    0 references
    Q4806205
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176386&oldid=36410155"
    Powered by MediaWiki