ExplicitPRISMSymm

From MaRDI portal

Revision as of 20:24, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:25283

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:25283&oldid=29461432"