Performance and reliability model checking and model construction

H. Hermanns

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

    Original languageUndefined
    Title of host publicationFormal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000
    Place of PublicationBerlin, Germany
    Number of pages17
    Publication statusPublished - 21 Feb 2000


    • METIS-119650

    Cite this