@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={} }