Beyond memoryless distributions: model checking semi-Markov chains

G.G. Infante lopez, H. Hermanns, Joost P. Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)-
    JournalLecture notes in artificial intelligence
    Volume2165
    Publication statusPublished - 2001

    Keywords

    • METIS-205776

    Cite this