@InProceedings{FKP12,
author={V. Forejt and M. Kwiatkowska and D. Parker},
title={Pareto Curves for Probabilistic Model Checking},
booktitle={Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12)},
year={2012},

editor={S. Chakraborty and M. Mukund},
pages={317--332},
organization={},
publisher={Springer},
series={LNCS},
volume={7561},
address={},
month={},
note={},
key={}
}