ExplicitPRISMSymm

swMATH13369MaRDI QIDQ25283

No author found.

Described by source

• ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM

Related Items (1)

Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18--20, 2015. Proceedings

This page was built for software: ExplicitPRISMSymm