Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Conference or Workshop Item, Bibliographie