Linearization in mCRL

Y.S. Usenko

Research output: PhD ThesisPhD Thesis - Research external, graduation external

Original languageEnglish
QualificationPhD
Awarding Institution
  • Technische Universiteit Eindhoven
Supervisors/Advisors
  • Groote, J.F., Supervisor, External person
  • Fokkink, Wan, 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