Model-checking algorithms for continuous-time Markov chains

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

    Research output: Contribution to journalArticleAcademicpeer-review

    540 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Model-checking algorithms for continuous-time Markov chains'. Together they form a unique fingerprint.