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.
    Hermanns, H. / Construction and verification of concurrent performance and reliability models. Current trends in theoretical computer science. editor / G. Paun ; G. Rozenberg ; A. Salomaa. Rive Edge : World Scientific, 2004. pp. 351-377
    @inbook{75de18628480498ebba0f6c84eb2d535,
    title = "Construction and verification of concurrent performance and reliability models",
    keywords = "METIS-222351",
    author = "H. Hermanns",
    year = "2004",
    language = "Undefined",
    isbn = "981-238-783-8",
    pages = "351--377",
    editor = "G. Paun and G. Rozenberg and A. Salomaa",
    booktitle = "Current trends in theoretical computer science",
    publisher = "World Scientific",
    address = "United States",

    }

    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. World Scientific, Rive Edge, pp. 351-377.

    Construction and verification of concurrent performance and reliability models. / Hermanns, H.

    Current trends in theoretical computer science. ed. / G. Paun; G. Rozenberg; A. Salomaa. Rive Edge : World Scientific, 2004. p. 351-377.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Construction and verification of concurrent performance and reliability models

    AU - Hermanns, H.

    PY - 2004

    Y1 - 2004

    KW - METIS-222351

    M3 - Chapter

    SN - 981-238-783-8

    SP - 351

    EP - 377

    BT - Current trends in theoretical computer science

    A2 - Paun, G.

    A2 - Rozenberg, G.

    A2 - Salomaa, A.

    PB - World Scientific

    CY - Rive Edge

    ER -

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