Best Paper award

Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific

Description

Best Paper award for the paper "Formalising the Dezyne Modelling Language in mCRL2"
Awarded date20 Sep 2017
Degree of recognitionInternational
OrganisationsSpringer

Career, activity or publication related prizes (lifetime, best paper, poster etc.)

Awarded at event22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
LocationTurin, Italy
Period18 Sep 2017 → 20 Sep 2017

    Fingerprint

Related content

Research Output

Formalising the Dezyne modelling language in mCRL2

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review