@InProceedings{DM06,
author={A. Donaldson and A. Miller},
title={Symmetry Reduction for Probabilistic Model Checking using Generic Representatives},
booktitle={Proc. 4th Int. Symp. Automated Technology for Verification and Analysis (ATVA'06)},
year={2006},

editor={S. Graf and W. Zhang},
pages={9--23},
organization={},
publisher={Springer},
series={Lecture Notes in Computer Science},
volume={4218},
address={},
month={},
note={},
key={}
}