LTL Model Checking of Interval Markov Chains (Q5326312)

From MaRDI portal
scientific article; zbMATH DE number 6194824
Language Label Description Also known as
English
LTL Model Checking of Interval Markov Chains
scientific article; zbMATH DE number 6194824

    Statements

    LTL Model Checking of Interval Markov Chains (English)
    0 references
    0 references
    0 references
    0 references
    5 August 2013
    0 references

    Identifiers