Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.
File(s)arts2004.pdf (257.94 KB)
Accepted version
Author(s)
Donaldson, AF
Miller, A
Calder, M
Type
Journal Article
Date Issued
2005-11-30
Start Page
3
End Page
23
Journal / Book Title
Electr. Notes Theor. Comput. Sci.
Volume
139
Copyright Statement
© 2005 Elsevier Ltd. All rights reserved. NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Vol.: 139, Issue: 1, (2005) DOI: 10.1016/j.entcs.2005.09.007
Description
27.06.14 KB. Ok to add accepted version to spiral.
Identifier
1