%0 Conference Paper %1 conf/se/KroherFGS23 %A Kröher, Christian %A Flöter, Moritz %A Gerling, Lea %A Schmid, Klaus %B Software Engineering %D 2023 %E Engels, Gregor %E Hebig, Regina %E Tichy, Matthias %I Gesellschaft für Informatik e.V. %K dblp %P 79-80 %T Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code. %U http://dblp.uni-trier.de/db/conf/se/se2023.html#KroherFGS23 %V P-332 %@ 978-3-88579-726-5

@inproceedings{conf/se/KroherFGS23, added-at = {2023-07-04T00:00:00.000+0200}, author = {Kröher, Christian and Flöter, Moritz and Gerling, Lea and Schmid, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/22bfbe2b556e51fd81c7e5dcbb3f8ae9c/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2023}, editor = {Engels, Gregor and Hebig, Regina and Tichy, Matthias}, ee = {https://dl.gi.de/handle/20.500.12116/40092}, interhash = {14e04ca958c5b153750ce08a1c1cf954}, intrahash = {2bfbe2b556e51fd81c7e5dcbb3f8ae9c}, isbn = {978-3-88579-726-5}, keywords = {dblp}, pages = {79-80}, publisher = {Gesellschaft für Informatik e.V.}, series = {LNI}, timestamp = {2024-04-09T13:03:20.000+0200}, title = {Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code.}, url = {http://dblp.uni-trier.de/db/conf/se/se2023.html#KroherFGS23}, volume = {P-332}, year = 2023 }