@inproceedings{DBLP:journals/entcs/Donaldson09,
author = {Alastair F. Donaldson},
editor = {Alice Miller and
Muffy Calder},
title = {Vector Symmetry Reduction},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
pages = {3-18},
publisher = {Elsevier},
year = {2008},
doi = {10.1016/J.ENTCS.2009.08.014},
}