Approximate Symbolic Model Checking of Continuous-Time Markov Chains.

Christel Baier, Joost-Pieter Katoen, Holger Hermanns

Browse the full CONCUR paper archive.