Automatic Symmetry Detection for Model Checking Using Computational Group Theory.

Alastair F. Donaldson, Alice Miller

Browse the full FM paper archive.