Louise Lorentsen, Lars Michael Kristensen. Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK. pages 211-220, IEEE Computer Society, 2001. [doi]
Abstract is missing.