ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Reema Patel' in GoogleThis author has not been identified. Look up 'Kevin Patel' in GoogleThis author has not been identified. Look up 'Dhiren Patel' in Google

runs on WebDSL