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