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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI