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

Awarded at event

Event title22nd 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