Model Checking Continuous-Time Markov Chains by Transient Analysis

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

Research output: Contribution to conferencePaperOther research output

113 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model Checking Continuous-Time Markov Chains by Transient Analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics