ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM
['Reema Patel', 'Kevin Patel', 'Dhiren R. Patel']
ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM