Extending Symmetry Reduction Techniques to a Realistic Model of Computation
@inproceedings{DBLP:journals/entcs/DonaldsonM07,
author = {Alastair F. Donaldson and
Alice Miller},
editor = {Stephan Merz and
Tobias Nipkow},
title = {Extending Symmetry Reduction Techniques to a Realistic Model of Computation},
booktitle = {Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {185},
pages = {63-76},
publisher = {Elsevier},
year = {2006},
doi = {10.1016/J.ENTCS.2007.05.029},
}