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