Forschungsartikel in einem Sammelband (Konferenz)

• 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, und Willemsen, Lisa. 2022. „ARCH-COMP22 Category Report: Stochastic Models.“ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Bd. 90 aus EPiC Series in Computing, herausgegeben von Goran Frehse, Matthias Althoff, Erwin Schoitsch und Jeremie Guiochet. Bramhall: EasyChair. doi: 10.29007/lsvc.