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]
No references recorded for this publication.
No citations of this publication recorded.