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