@article{DBLP:journals/jar/DonaldsonM08,
author = {Alastair F. Donaldson and
Alice Miller},
title = {Automatic Symmetry Detection for Promela},
journal = {J. Autom. Reason.},
volume = {41},
number = {3-4},
pages = {251-293},
year = {2008},
doi = {10.1007/S10817-008-9107-4},
}