Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Louise Lorentsen' in GoogleThis author has not been identified. Look up 'Lars Michael Kristensen' in Google

runs on WebDSL