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

    154 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