BibTeX record conf/splc/ThumMBHRS14

• > Home > conf/splc/ThumMBHRS14

@inproceedings{DBLP:conf/splc/ThumMBHRS14,
  author       = {Thomas Th{\"{u}}m and
                  Jens Meinicke and
                  Fabian Benduhn and
                  Martin Hentschel and
                  Alexander von Rhein and
                  Gunter Saake},
  editor       = {Stefania Gnesi and
                  Alessandro Fantechi and
                  Patrick Heymans and
                  Julia Rubin and
                  Krzysztof Czarnecki and
                  Deepak Dhungana},
  title        = {Potential synergies of theorem proving and model checking for software
                  product lines},
  booktitle    = {18th International Software Product Line Conference, {SPLC} '14, Florence,
                  Italy, September 15-19, 2014},
  pages        = {177--186},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2648511.2648530},
  doi          = {10.1145/2648511.2648530},
  timestamp    = {Fri, 30 Dec 2022 23:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/ThumMBHRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}