@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}
}

{"_id":"acZmxREps4yC3eqYm","bibbaseid":"fernndezamors-heradio-mayrdorn-egyed-akconfigtranslationtologicwithonewayvalidationsystem-2019","authorIDs":[],"author_short":["Fernández-Amorós, D.","Heradio, R.","Mayr-Dorn, C.","Egyed, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Fernández-Amorós"],"suffixes":[]},{"firstnames":["Ruben"],"propositions":[],"lastnames":["Heradio"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Mayr-Dorn"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Egyed"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/splc/Fernandez-Amoros19,\n author = {David Fern{\\'{a}}ndez{-}Amor{\\'{o}}s and\n Ruben Heradio and\n Christoph Mayr{-}Dorn and\n Alexander Egyed},\n title = {A kconfig translation to logic with one-way validation system},\n booktitle = {Proceedings of the 23rd International Systems and Software Product\n Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,\n 2019},\n pages = {41:1--41:6},\n year = {2019},\n crossref = {DBLP:conf/splc/2019a},\n url = {https://doi.org/10.1145/3336294.3336313},\n doi = {10.1145/3336294.3336313},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/splc/Fernandez-Amoros19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fernández-Amorós, D.","Heradio, R.","Mayr-Dorn, C.","Egyed, A."],"key":"DBLP:conf/splc/Fernandez-Amoros19","id":"DBLP:conf/splc/Fernandez-Amoros19","bibbaseid":"fernndezamors-heradio-mayrdorn-egyed-akconfigtranslationtologicwithonewayvalidationsystem-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3336294.3336313"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.ia.uned.es/~mluque/areamates.bib","creationDate":"2020-06-01T06:11:06.613Z","downloads":0,"keywords":[],"search_terms":["kconfig","translation","logic","one","way","validation","system","fernández-amorós","heradio","mayr-dorn","egyed"],"title":"A kconfig translation to logic with one-way validation system","year":2019,"dataSources":["eWxXy4YzfNoBwpTjL"]}