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},
}
|