Publicacions en col·laboració amb investigadors/es de Eindhoven University of Technology (2)

2017

  1. Games for bisimulations and abstraction

    Logical Methods in Computer Science, Vol. 13, Núm. 4

2016

  1. Branching bisimulation games

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)