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]
@inproceedings{DimovskiLCL23,
title = {Family-based model checking of fMultiLTL properties},
author = {Aleksandar S. Dimovski and Sami Lazreg and Maxime Cordy and Axel Legay},
year = {2023},
doi = {10.1145/3579027.3608976},
url = {https://doi.org/10.1145/3579027.3608976},
researchr = {https://researchr.org/publication/DimovskiLCL23},
cites = {0},
citedby = {0},
pages = {41-51},
booktitle = {Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023},
editor = {Paolo Arcaini and Maurice H. ter Beek and Gilles Perrouin and Iris Reinhartz-Berger and Miguel R. Luaces and Christa Schwanninger and Shaukat Ali 0001 and Mahsa Varshosaz and Angelo Gargantini and Stefania Gnesi and Malte Lochau and Laura Semini and Hironori Washizaki},
publisher = {ACM},
}