Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa (2022)
In: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie (eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). München: EasyChair.
Type of Publication: Research article in edited proceedings (conference)