Abstraction for Stochastic Systems by Erlang's Method of Stages.

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

Browse the full CONCUR paper archive.