Best Student Paper Award FACS 2017

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Omschrijving

    Best Student Paper Award for the paper "Compositional Model Checking is Lively" at the 14th International Conference on Formal Aspects of Component Software conference.
    Mate van erkenningInternationaal

    Toegekend op evenement

    Evenementstitel14th International Conference on Formal Aspects of Component Software (FACS 2017), 10-13 October 2017, Braga, Portugal
    LocatieBraga, Portugal
    Periode10 okt 2017 → 13 okt 2017