ExplicitPRISMSymm

MaRDI QIDQ25283swMATHFDO

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