Construction and Verification of Performance and Reliability Models

H. Hermanns

    Research output: Contribution to journalArticleAcademic

    Original languageUndefined
    Pages (from-to)-
    Number of pages19
    JournalBulletin of the European Association for Theoretical Computer Science
    Volume74
    Publication statusPublished - 2001

    Keywords

    • METIS-203847

    Cite this