Dynamical Analysis of SDL Programs using Predicate/Transition Nets

Reference:

Tero Jyrinki. Dynamical analysis of SDL programs using predicate/transition nets. Technical Report B17, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.

Suggested BibTeX entry:

@techreport{HUT-TCS-B17,
    address = {Espoo, Finland},
    author = {Tero Jyrinki},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {April},
    number = {B17},
    title = {Dynamical Analysis of {S}{D}{L} Programs using Predicate/Transition Nets},
    type = {Technical Report},
    year = {1997},
}