TCS / Research / Publications / Symmetry Reduction Algorithms for Data Symmetries
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Symmetry Reduction Algorithms for Data Symmetries

Reference:

Tommi Junttila. Symmetry reduction algorithms for data symmetries. Research Report A72, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2002.

Keywords:

Symmetry, reachability analysis, Petri nets, the Mur tool

Suggested BibTeX entry:

@techreport{Junttila:A72,
    address = {Espoo, Finland},
    author = {Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {May},
    number = {A72},
    pages = {49},
    title = {Symmetry Reduction Algorithms for Data Symmetries},
    type = {Research Report},
    year = {2002},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.