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

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

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