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

    55 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