Paper  doi  bibtex   

@inproceedings{DBLP:conf/splc/Fernandez-Amoros19,
  author    = {David Fern{\'{a}}ndez{-}Amor{\'{o}}s and
               Ruben Heradio and
               Christoph Mayr{-}Dorn and
               Alexander Egyed},
  title     = {A kconfig translation to logic with one-way validation system},
  booktitle = {Proceedings of the 23rd International Systems and Software Product
               Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
               2019},
  pages     = {41:1--41:6},
  year      = {2019},
  crossref  = {DBLP:conf/splc/2019a},
  url       = {https://doi.org/10.1145/3336294.3336313},
  doi       = {10.1145/3336294.3336313},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/splc/Fernandez-Amoros19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}