Papers

Alastair F. Donaldson, Alice Miller. Automatic Symmetry Detection for Model Checking Using Computational Group Theory. In Proceedings of the 13th International Symposium on Formal Methods (FM'05), Lecture Notes in Computer Science 3582, pages 481-480. Springer, 2005.

Bibtex:

@inproceedings{DonaldsonM_FM2005,
   title      = {Automatic Symmetry Detection for Model Checking
                 Using Computational Group Theory},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the 13th International Symposium
                 on Formal Methods (FM'05)},
   series     = {Lecture Notes in Computer Science},
   volume     = {3582},
   pages      = {481-480},
   publisher  = {Springer},
   year       = {2005}
}