Best Paper Award FACS 2018

Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific

Description

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)
Awarded date11 Oct 2018
Degree of recognitionInternational

Awarded at event

Event titleFormal Aspects of Component Software
LocationPohang University of Science and Technology, Pohang, Korea, Republic ofShow on map
Period10 Oct 2018 → 12 Oct 2018

    Fingerprint

Related content