Linearization in mCRL

Y.S. Usenko

Research output: PhD Thesis › PhD Thesis - Research external, graduation external › Academic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Technische Universiteit Eindhoven
Supervisors/Advisors
  • Groote, J.F., Supervisor, External person
  • Fokkink, W.J., Supervisor
Place of PublicationTechnische Universiteit Eindhoven
Publication statusPublished - 2002
Externally publishedYes

Bibliographical note

Naam instelling promotie: Technische Universiteit Eindhoven
Naam instelling onderzoek: Technische Universiteit Eindhoven

Cite this

Usenko, Y. S. (2002). Linearization in mCRL. Technische Universiteit Eindhoven.
Usenko, Y.S.. / Linearization in mCRL. Technische Universiteit Eindhoven, 2002.
@phdthesis{05f7a783bd274153a282eac4261d1b6a,
title = "Linearization in mCRL",
author = "Y.S. Usenko",
note = "Naam instelling promotie: Technische Universiteit Eindhoven Naam instelling onderzoek: Technische Universiteit Eindhoven",
year = "2002",
language = "English",
school = "Technische Universiteit Eindhoven",

}

Usenko, YS 2002, 'Linearization in mCRL', PhD, Technische Universiteit Eindhoven, Technische Universiteit Eindhoven.

Linearization in mCRL. / Usenko, Y.S.

Technische Universiteit Eindhoven, 2002.

Research output: PhD Thesis › PhD Thesis - Research external, graduation external › Academic

TY - THES

T1 - Linearization in mCRL

AU - Usenko, Y.S.

N1 - Naam instelling promotie: Technische Universiteit Eindhoven Naam instelling onderzoek: Technische Universiteit Eindhoven

PY - 2002

Y1 - 2002

M3 - PhD Thesis - Research external, graduation external

CY - Technische Universiteit Eindhoven

ER -

Usenko YS. Linearization in mCRL. Technische Universiteit Eindhoven, 2002.