Model Checking CSRL-Specified Performability Properties

Boudewijn R.H.M. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier

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

    Original languageEnglish
    Title of host publicationProceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5)
    EditorsR. German, J. Lüthi, M. Telek
    Place of PublicationErlangen
    PublisherUniversity of Erlangen
    Pages-
    Number of pages5
    Publication statusPublished - 2001
    Event5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001 - Erlangen, Germany
    Duration: 15 Sep 200116 Sep 2001
    Conference number: 5

    Workshop

    Workshop5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001
    Abbreviated titlePMCCS
    CountryGermany
    CityErlangen
    Period15/09/0116/09/01

    Keywords

    • METIS-204451

    Cite this

    Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P., & Baier, C. (2001). Model Checking CSRL-Specified Performability Properties. In R. German, J. Lüthi, & M. Telek (Eds.), Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5) (pp. -). Erlangen: University of Erlangen.