@inproceedings{KNP06a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Symmetry Reduction for Probabilistic Model Checking},
booktitle={Proc. 18th International Conference on Computer Aided Verification (CAV'06)},
year={2006},

editor={T. Ball and R. Jones},
pages={234-248},
organization={},
publisher={Springer},
series={LNCS},
volume={4114},
month={},
note={},
key={}
}