Best Paper Award FACS 2018

Prijs: Anders › Werk, 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)
Datum van toekenning11 okt 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

Gerelateerde inhoud

Onderzoeksoutput

Solving parameterised boolean equation systems with infinite data through quotienting

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review