Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
@inproceedings{DBLP:journals/entcs/DonaldsonMC05a,
author = {Alastair F. Donaldson and
Alice Miller and
Muffy Calder},
editor = {Irek Ulidowski},
title = {{Spin-to-Grape}: {A} Tool for Analysing Symmetry in Promela Models},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS} 2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
pages = {3-23},
publisher = {Elsevier},
year = {2004},
doi = {10.1016/J.ENTCS.2005.09.007},
}