Exact and Approximate Strategies for Symmetry Reduction in Model Checking.

Alastair F. Donaldson, Alice Miller

Browse the full FM paper archive.