Approximate symbolic model checking of continuous-time Markoc chains

C Baier, Joost P. Katoen, H. Hermanns

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    155 Citations (Scopus)
    Original languageUndefined
    Title of host publicationConcurrency Theory (CONCUR'99)
    Place of PublicationEindhoven
    Pages146-161
    Number of pages16
    Publication statusPublished - 2 Feb 1999

    Keywords

    • METIS-119608

    Cite this

    Baier, C., Katoen, J. P., & Hermanns, H. (1999). Approximate symbolic model checking of continuous-time Markoc chains. In Concurrency Theory (CONCUR'99) (pp. 146-161). Eindhoven.