Best Student Paper Award FACS 2017

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

Prijs: Anders › Werk, 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.

Datum van toekenning	2017
Mate van erkenning	Internationaal

Toegekend op evenement

Evenementstitel	14th International Conference on Formal Aspects of Component Software (FACS 2017), 10-13 October 2017, Braga, Portugal
Locatie	Braga, Portugal
Periode	10 okt. 2017 → 13 okt. 2017