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

  • Y. Pan

Scriptie/Masterproef: Master

Datum prijs9 jan. 2020
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1), Ramon R.H. Schiffelers (Afstudeerdocent 2) & Thomas Neele (Afstudeerdocent 2)

Citeer dit

Documenten

  • Pan, Y.

    Bestand: application/pdf, 2,08 MB

    Type: Scriptie

    Embargo-einddatum: 9 jan. 2022

'