BibTeX record conf/vamos/SpreySKNMTS20

• > Home > conf/vamos/SpreySKNMTS20

@inproceedings{DBLP:conf/vamos/SpreySKNMTS20,
  author       = {Joshua Sprey and
                  Chico Sundermann and
                  Sebastian Krieter and
                  Michael Nieke and
                  Jacopo Mauro and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Maxime Cordy and
                  Mathieu Acher and
                  Danilo Beuche and
                  Gunter Saake},
  title        = {SMT-based variability analyses in FeatureIDE},
  booktitle    = {VaMoS '20: 14th International Working Conference on Variability Modelling
                  of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
  pages        = {6:1--6:9},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377024.3377036},
  doi          = {10.1145/3377024.3377036},
  timestamp    = {Fri, 27 Mar 2020 08:53:28 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/SpreySKNMTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}