Linearization in mCRL

Y.S. Usenko

Research output: PhD Thesis › PhD-Thesis – Research and graduation external

Original language	English
Qualification	PhD
Awarding Institution	Technische Universiteit Eindhoven
Supervisors/Advisors	Groote, J.F., Supervisor, - Fokkink, Wan, Supervisor
Place of Publication	Technische Universiteit Eindhoven
Publication status	Published - 2002
Externally published	Yes

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

Persistent URL (handle)

@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",

type = "PhD-Thesis – Research and graduation external",

school = "Technische Universiteit Eindhoven",

}