Publicaciones en colaboración con investigadores/as de University of Lubeck (2)

2024

  1. Runtime Verification of Timed Petri Nets

    CEUR Workshop Proceedings

2022

  1. Preface

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