State Space Analysis using Symmetries on Decision Diagrams

Colange, Maximilien; Kordon, Fabrice; Thierry-Mieg, Yann; Baarir, Souheib

by Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir

Reference:

State Space Analysis using Symmetries on Decision Diagrams (Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir), In 12th International Conference on Application of Concurrency to System Design (ACSD'2012), IEEE Computer Society, 2012.

Bibtex Entry:

@INPROCEEDINGS{pcolange2012,
                    author = {Colange, Maximilien and Kordon, Fabrice and Thierry-Mieg, Yann and Baarir, Souheib},
               x-lip6teams = {MOVE},
                  x-lip6id = {8070},
  x-international-audience = {yes},
                     month = jun,
                     title = {{S}tate {S}pace {A}nalysis using {S}ymmetries on {D}ecision {D}iagrams},
                 booktitle = {12th {I}nternational {C}onference on {A}pplication of {C}oncurrency to {S}ystem {D}esign ({ACSD}'2012)},
                      year = {2012},
                     pages = {164-172},
                 publisher = {IEEE Computer Society},
                   address = {Hamburg, Germany},
                   url = {documents/acsd_2012.pdf}
}