Papers

Alastair F. Donaldson, Alice Miller. Exact and Approximate Strategies for Symmetry Reduction in Model Checking. In Proceedings of the 14th International Symposium on Formal Methods (FM'06), Lecture Notes in Computer Science 4085, pages 541-556. Springer, 2006.

Bibtex:

@inproceedings{DonaldsonM_FM2006,
   title      = {Exact and Approximate Strategies for Symmetry
                 Reduction in Model Checking},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the 14th International Symposium
                 on Formal Methods (FM'06)},
   series     = {Lecture Notes in Computer Science},
   volume     = {4085},
   pages      = {541-556},
   publisher  = {Springer},
   year       = {2006}
}