Probabilistic weak simulation is decidable in polynomial time

C Baier, H. Hermanns, Joost P. Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)123-140
    JournalInformation processing letters
    Volume89
    Issue number3
    Publication statusPublished - 2004

    Keywords

    • METIS-220875

    Cite this