h1

h2

h3

h4

h5
h6
%0 Report
%A Katoen, Joost-Pieter
%A Klink, Daniel
%A Leucker, Martin
%A Wolf, Verena
%T Abstraction for stochastic systems by Erlangs method of stages
%V 2008,12
%N AIB-2008-12
%C Aachen
%I RWTH Aachen, Department of Computer Science
%M RWTH-CONV-008210
%M AIB-2008-12
%B Aachener Informatik-Berichte
%P 27 S.
%D 2008
%F PUB:(DE-HGF)29
%9 Report
%U https://publications.rwth-aachen.de/record/47821