@inproceedings{DBLP:conf/qest/DonaldsonMP09,
  author       = {Alastair F. Donaldson and
                  Alice Miller and
                  David Parker},
  title        = {Language-Level Symmetry Reduction for Probabilistic Model Checking},
  booktitle    = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009},
  pages        = {289-298},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  doi          = {10.1109/QEST.2009.21},
}