Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa

Reference:

Mika Rautila. Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994.

Suggested BibTeX entry:

@mastersthesis{RautilaMsc,
    author = {Rautila, Mika},
    school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
    title = {Prosessialgebran k\"aytt\"o \"alyverkkopalveluiden m\"a\"arityksess\"a ja analysoinnissa},
    year = {1994},
}