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