Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.

Alastair F. Donaldson Alice Miller Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. 9-23 2006 conf/atva/2006 ATVA http://dx.doi.org/10.1007/11901914_4 db/conf/atva/atva2006.html#DonaldsonM06