Simulation for Continuous-Time Markov Chains.

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

Browse the full CONCUR paper archive.