Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir. State Space Analysis Using Symmetries on Decision Diagrams. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 164-172, IEEE, 2012. [doi]
Abstract is missing.