@InProceedings{GNB+06,
author={M. Gr\"o{\ss}er and G. Norman and C. Baier and F. Ciesinski and M. Kwiatkowska and D. Parker},
title={On reduction criteria for probabilistic reward models},
booktitle={Proc. 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)},
year={2006},

editor={S. Arun-Kumar and N. Garg},
pages={309-320},
organization={},
publisher={Springer},
series={LNCS},
volume={4337},
address={},
month={},
note={},
key={}
}