Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

Reference:

Tommi Junttila. Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999.

Suggested BibTeX entry:

@phdthesis{JunttilaLic,
    author = {Junttila, Tommi},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis},
    type = {Licentiate's thesis},
    year = {1999},
}