Best Student Paper Award FACS 2017

  • Anton Wijs (Ontvanger) & S.M.J. de Putter (Ontvanger)

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

Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)

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