Papers

Alice Miller, Alastair F. Donaldson, Muffy Calder. Symmetry in Temporal Logic Model Checking. ACM Computing Surveys 38(3), article 8. ACM, 2006.

Bibtex:

@article{MillerDC_Survey2006,
   title      = {Symmetry in Temporal Logic Model Checking},
   author     = {Alice Miller and Alastair F. Donaldson and Muffy
                 Calder},
   journal    = {ACM Computing Surveys},
   volume     = {38},
   issue      = {3},
   note       = {Article 8},
   publisher  = {ACM},
   year       = {2006}
}