External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Optimised Calculation of Symmetries for State Space Reduction

Harro Wimmel. Optimised Calculation of Symmetries for State Space Reduction. In Martin Schwarick, Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010. Volume 643 of CEUR Workshop Proceedings, pages 112-117, CEUR-WS.org, 2010. [doi]

Authors

Harro Wimmel

This author has not been identified. Look up 'Harro Wimmel' in Google
runs on