Best Paper award

Prize: OtherCareer, 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"
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