TCS / Research / Publications / Methodology of Dynamical Analysis of SDL Programs using Predicate/Transition Nets
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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

NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (218 kB)
See www.tcs.hut.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.