@InProceedings{FKN+11,
author={V. Forejt and M. Kwiatkowska and G. Norman and D. Parker and H. Qu},
title={Quantitative Multi-Objective Verification for Probabilistic Systems},
booktitle={Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11)},
year={2011},

editor={P. Abdulla and K. Leino},
pages={112--127},
organization={},
publisher={Springer},
series={LNCS},
volume={6605},
address={},
month={},
note={},
key={}
}