Patel, Reema; Patel, Kevin; Patel, Dhiren ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. (English) Zbl 1459.68122 Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015). MSC: 68Q60 68Q85 68Q87 PDF BibTeX XML Cite \textit{R. Patel} et al., Lect. Notes Comput. Sci. 9076, 400--412 (2015; Zbl 1459.68122) Full Text: DOI
Jain, Rahul (ed.); Jain, Sanjay (ed.); Stephan, Frank (ed.) Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. (English) Zbl 1320.68020 Lecture Notes in Computer Science 9076. Cham: Springer (ISBN 978-3-319-17141-8/pbk; 978-3-319-17142-5/ebook). xii, 466 p. (2015). MSC: 68-06 68Q05 00B25 PDF BibTeX XML Cite \textit{R. Jain} (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18--20, 2015. Proceedings. Cham: Springer (2015; Zbl 1320.68020) Full Text: DOI