Best Paper Award FACS 2018

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

Omschrijving

The paper 'Solving parameterised Boolean equation systems with infinite data through quotienting' received a best paper award at the International Conference on Formal Aspects of Component Software (2018)
Mate van erkenningInternationaal

Toegekend op evenement

EvenementstitelFormal Aspects of Component Software
LocatiePohang University of Science and Technology, Pohang, Zuid-Korea
Periode10 okt 2018 → 12 okt 2018