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