ExplicitPRISMSymm

swMATH13369MaRDI QIDQ25283FDOQ25283

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-17142-5_34

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