Language-Level Symmetry Reduction for Probabilistic Model Checking
@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},
}