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

Toegekend op evenement

EvenementstitelFormal Aspects of Component Software
LocatiePohang University of Science and Technology, Pohang, Zuid-KoreaToon op kaart
Periode10 okt. 2018 → 12 okt. 2018

    Vingerafdruk

Gerelateerde inhoud