Quantitative model checking of continuous-time Markov chains against timed automata specifications

T. Chen, Tingting Han, Joost P. Katoen, Alexandru Mereacre

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    32 Citations (Scopus)
    83 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Quantitative model checking of continuous-time Markov chains against timed automata specifications'. Together they form a unique fingerprint.