Reema Patel, Kevin Patel, Dhiren Patel. ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM. In Rahul Jain, Sanjay Jain, Frank Stephan, editors, Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. Volume 9076 of Lecture Notes in Computer Science, pages 400-412, Springer, 2015. [doi]
Abstract is missing.