ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.

Corinna Spermann, Michael Leuschel

Browse the full TASE paper archive.