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: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)
Year: 2008
Volume: 5201
Pages: 279--294