A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
@inproceedings{DBLP:conf/amast/DonaldsonM06,
author = {Alastair F. Donaldson and
Alice Miller},
editor = {Michael Johnson and
Varmo Vene},
title = {A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker},
booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {374-380},
publisher = {Springer},
year = {2006},
doi = {10.1007/11784180_29},
}