Model Checking Continuous-Time Markov Chains by Transient Analysis.

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

Browse the full CAV paper archive.