TCS / Research / Publications / Dynamical analysis of SDL programs with Predicate/Transition nets
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Dynamical analysis of SDL programs with Predicate/Transition nets

Reference:

Tero Jyrinki. Dynamical analysis of SDL programs with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1997.

Suggested BibTeX entry:

@mastersthesis{JyrinkiMsc,
    author = {Jyrinki, Tero},
    school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
    title = {Dynamical analysis of {S}{D}{L} programs with Predicate/Transition nets},
    year = {1997},
}

See www.tcs.hut.fi ...

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