Model-Checking Algorithms for Continuous-Time Markov Chains

Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen

    Research output: Book/ReportReportOther research output

    234 Downloads (Pure)
    Original languageEnglish
    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.02-10
    ISSN (Print)1381-3625

    Cite this