On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

    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