Papers

Alastair F. Donaldson. Vector Symmetry Reduction. Electronic Notes in Theoretical Computer Science 250(2):3-18. Elsevier, 2009. Preliminary version appeared in Proceedings of the 8th International Workshop on Automated Verification of Critical Systems (AVoCS'08).

Bibtex:

@article{Donaldson_ENTCS2009,
   title      = {Vector Symmetry Reduction},
   author     = {Alastair F. Donaldson},
   journal    = {Electronic Notes in Theoretical Computer Science},
   volume     = {250},
   issue      = {2},
   pages      = {3-18},
   publisher  = {Elsevier},
   year       = {2009},
   note       = {Preliminary version appeared in Proceedings of
                 the 8th International Workshop on Automated
                 Verification of Critical Systems (AVoCS'08)}
}