Reference:
Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Technical Report B16, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.
Suggested BibTeX entry:
@techreport{HUT-TCS-B16,
address = {Espoo, Finland},
author = {Markus Malmqvist},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {April},
number = {B16},
title = {Methodology of Dynamical Analysis of {S}{D}{L} Programs using Predicate/Transition Nets},
type = {Technical Report},
year = {1997},
}
|