Papers

Alastair F. Donaldson, Alice Miller. Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electronic Notes in Theoretical Computer Science 185():63-76. Elsevier, 2007. Preliminary version appeared in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS'06).

Bibtex:

@article{DonaldsonM_ENTCS2007,
   title      = {Extending Symmetry Reduction Techniques to a
                 Realistic Model of Computation},
   author     = {Alastair F. Donaldson and Alice Miller},
   journal    = {Electronic Notes in Theoretical Computer Science},
   volume     = {185},
   issue      = {},
   pages      = {63-76},
   publisher  = {Elsevier},
   year       = {2007},
   note       = {Preliminary version appeared in Proceedings of
                 the 6th International Workshop on Automated
                 Verification of Critical Systems (AVoCS'06)}
}