Publication Overview

J.-P. Katoen and D. Klink and M. Leucker and V. Wolf

Abstraction for Stochastic Systems by Erlang's Method of Stages

Published in: CONCUR
Year: 2008
Pages: 279-294