Papers

Alastair F. Donaldson, Alice Miller, David Parker. Language-level Symmetry Reduction for Probabilistic Model Checking. In Proceedings of the 6th International Conference on the Quantitative Evaluation of Systems (QEST'09), pages 289-298. IEEE Computer Society, 2009.

Bibtex:

@inproceedings{DonaldsonMP_QEST2009,
   title      = {Language-level Symmetry Reduction for Probabilistic
                 Model Checking},
   author     = {Alastair F. Donaldson and Alice Miller and David
                 Parker},
   booktitle  = {Proceedings of the 6th International Conference
                 on the Quantitative Evaluation of Systems (QEST'09)},
   pages      = {289-298},
   publisher  = {IEEE Computer Society},
   year       = {2009}
}