Performance analysis := (process algebra + model checking) x Markov chains

H. Hermanns, Joost P. Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)-
    Number of pages23
    JournalLecture notes in artificial intelligence
    Volume2154
    Publication statusPublished - 2001

    Keywords

    • METIS-205775

    Cite this