Construction and verification of concurrent performance and reliability models

H. Hermanns

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationCurrent trends in theoretical computer science
    EditorsG. Paun, G. Rozenberg, A. Salomaa
    Place of PublicationRive Edge
    PublisherWorld Scientific
    Pages351-377
    ISBN (Print)981-238-783-8
    Publication statusPublished - 2004

    Keywords

    • METIS-222351

    Cite this

    Hermanns, H. (2004). Construction and verification of concurrent performance and reliability models. In G. Paun, G. Rozenberg, & A. Salomaa (Eds.), Current trends in theoretical computer science (pp. 351-377). Rive Edge: World Scientific.