A Reachability Analyzer for Algebraic System Nets

Reference:

Marko Mäkelä. A Reachability Analyzer for Algebraic System Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000.

Suggested BibTeX entry:

@phdthesis{MakelaLic,
    author = {M\"akel\"a, Marko},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {A Reachability Analyzer for Algebraic System Nets},
    type = {Licentiate's thesis},
    year = {2000},
}