Papers

Alastair F. Donaldson, Alice Miller, Muffy Calder. SPIN-to-GRAPE: A Tool for Analysing Symmetry in Promela Models. Electronic Notes in Theoretical Computer Science 139(1):3-23. Elsevier, 2005. Preliminary version appeared in Proceedings of the 6th AMAST Workshop on Real-Time Systems (ARTS'04).

Bibtex:

@article{DonaldsonMC_ENTCS22005,
   title      = {{SPIN}-to-{GRAPE}: A Tool for Analysing Symmetry
                 in {Promela} Models},
   author     = {Alastair F. Donaldson and Alice Miller and Muffy
                 Calder},
   journal    = {Electronic Notes in Theoretical Computer Science},
   volume     = {139},
   issue      = {1},
   pages      = {3-23},
   publisher  = {Elsevier},
   year       = {2005},
   note       = {Preliminary version appeared in Proceedings of
                 the 6th AMAST Workshop on Real-Time Systems
                 (ARTS'04)}
}