Mutant Equivalence as Monotonicity in Parametric Timed Games
Conference proceeding (May 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Conference proceeding (May 2023)
Article in Nonlinear Analysis Hybrid Systems (November 2022)
Article in Software Practice and Experience (December 2019)