Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets

Reference:

Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.

Suggested BibTeX entry:

@mastersthesis{MalmqvistMsc,
    author = {Malmqvist, Markus},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Methodology of Dynamical Analysis of {S}{D}{L} Programs Using Predicate/Transition Nets},
    year = {1997},
}