An Automatic Transformation for Multi-Component Systems from ALIAS to mCRL2

  • Y. Pan

Student thesis: Master

Date of Award9 Jan 2020
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1), Ramon R.H. Schiffelers (Supervisor 2) & Thomas Neele (Supervisor 2)

Cite this

Documents

  • Pan, Y.

    File: application/pdf, 2.08 MB

    Type: Thesis

    Embargo End Date: 9 Jan 2022

'