BibTeX record conf/splc/DimovskiLCL23

download as .bib file

@inproceedings{DBLP:conf/splc/DimovskiLCL23,
  author       = {Aleksandar S. Dimovski and
                  Sami Lazreg and
                  Maxime Cordy and
                  Axel Legay},
  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 and
                  Mahsa Varshosaz and
                  Angelo Gargantini and
                  Stefania Gnesi and
                  Malte Lochau and
                  Laura Semini and
                  Hironori Washizaki},
  title        = {Family-based model checking of fMultiLTL properties},
  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},
  pages        = {41--51},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579027.3608976},
  doi          = {10.1145/3579027.3608976},
  timestamp    = {Thu, 31 Aug 2023 19:50:52 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/DimovskiLCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics