Papers

Alastair F. Donaldson, Alice Miller. Automatic Symmetry Detection for Promela. Journal of Automated Reasoning 41(3-4):251-293. Springer, 2008.

Bibtex:

@article{DonaldsonM_JAR2008,
   title      = {Automatic Symmetry Detection for {Promela}},
   author     = {Alastair F. Donaldson and Alice Miller},
   journal    = {Journal of Automated Reasoning},
   volume     = {41},
   issue      = {3-4},
   pages      = {251-293},
   publisher  = {Springer},
   year       = {2008}
}