Accelerated model checking of parametric Markov chains (Q6109594)

From MaRDI portal
scientific article; zbMATH DE number 7719945
Language Label Description Also known as
English
Accelerated model checking of parametric Markov chains
scientific article; zbMATH DE number 7719945

    Statements

    Accelerated model checking of parametric Markov chains (English)
    0 references
    0 references
    0 references
    0 references
    28 July 2023
    0 references

    Identifiers