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