@InProceedings{DMP09,
author={A. Donaldson and A. Miller and D. Parker},
title={Language-level Symmetry Reduction for Probabilistic Model Checking},
booktitle={Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09)},
year={2009},

editor={},
pages={289--298},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={},
note={},
key={}
}