TCS / Research / Publications / On the Compositionality and Analysis of High-Level Nets
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

On the Compositionality and Analysis of High-Level Nets

Reference:

Jukka Oranen. On the Compositionality and Analysis of High-Level Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991.

Suggested BibTeX entry:

@phdthesis{OranenLic,
    author = {Oranen, Jukka},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {On the Compositionality and Analysis of High-Level Nets},
    type = {Licentiate's thesis},
    year = {1991},
}

This work is not available online here.

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