Efficient CTMC Model Checking of Linear Real-Time Objectives

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

    Research output: Contribution to conference › Paper › peer-review

    33 Citations (Scopus)
    2 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Efficient CTMC Model Checking of Linear Real-Time Objectives'. Together they form a unique fingerprint.