On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000
    Place of PublicationNuremberg, Germany
    Pages228-237
    Number of pages10
    Publication statusPublished - 21 Feb 2000

    Keywords

    • METIS-119646

    Cite this

    Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2000). On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000 (pp. 228-237). Nuremberg, Germany.