Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay. Family-based model checking of fMultiLTL properties. In Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali 0001, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki, editors, Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. pages 41-51, ACM, 2023. [doi]
Abstract is missing.