Papers

Alastair F. Donaldson, Alice Miller. A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker. In Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology (AMAST'06), Lecture Notes in Computer Science 4019, pages 374-380. Springer, 2006.

Bibtex:

@inproceedings{DonaldsonM_AMAST2006,
   title      = {A Computational Group Theoretic Symmetry Reduction
                 Package for the {SPIN} Model Checker},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the 11th International Conference
                 on Algebraic Methodology and Software Technology
                 (AMAST'06)},
   series     = {Lecture Notes in Computer Science},
   volume     = {4019},
   pages      = {374-380},
   publisher  = {Springer},
   year       = {2006}
}