Model-Checking Algorithms for Continuous-Time Markov Chains

Christel Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

    Research output: Book/ReportReportOther research output

    51 Downloads (Pure)
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Apr 2002

    Publication series

    NameCTIT technical report series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTI
    ISSN (Print)1381-3625

    Keywords

    • IR-63079
    • EWI-5879

    Cite this

    Baier, C., Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2002). Model-Checking Algorithms for Continuous-Time Markov Chains. (CTIT technical report series; No. TR-CTI). Enschede: Centre for Telematics and Information Technology (CTIT).