Not registered as user yet

Name: Helle Hvid Hansen

Affiliation: Delft University of Technology

Personal website: https://homepage.tudelft.nl/c9d1n/

Contributions

OPCT 2019Author of A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics within the OPCT 2019-track