ExplicitPRISMSymm

swMATH13369MaRDI QIDQ25283FDOQ25283

Author name not available (Why is that?)

Described by source

• ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM

Cited In (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