ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM.

Reema Patel, Kevin Patel, Dhiren R. Patel

Browse the full TAMC paper archive.