Dynamical analysis of SDL programs with Predicate/Transition nets

Reference:

Tero Jyrinki. Dynamical analysis of SDL programs with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1997.

Suggested BibTeX entry:

@mastersthesis{JyrinkiMsc,
    author = {Jyrinki, Tero},
    school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
    title = {Dynamical analysis of {S}{D}{L} programs with Predicate/Transition nets},
    year = {1997},
}