Informática
Facultad
University of Lubeck
Lubeca, AlemaniaPublicaciones en colaboración con investigadores/as de University of Lubeck (2)
2024
-
Runtime Verification of Timed Petri Nets
CEUR Workshop Proceedings
2022
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)