%0 Conference Paper %1 conf/splc/KroherFGS22 %A Kröher, Christian %A Flöter, Moritz %A Gerling, Lea %A Schmid, Klaus %B SPLC (A) %D 2022 %E Felfernig, Alexander %E Fuentes, Lidia %E Cleland-Huang, Jane %E Assunção, Wesley K. G. %E Falkner, Andreas A. %E Azanza, Maider %E Luaces, Miguel Á. Rodríguez %E Bhushan, Megha %E Semini, Laura %E Devroey, Xavier %E Werner, Cláudia Maria Lima %E Seidl, Christoph %E Le, Viet-Man %E Horcas, José Miguel %I ACM %K dblp %P 257 %T Incremental software product line verification: a performance analysis with dead variable code. %U http://dblp.uni-trier.de/db/conf/splc/splc2022a.html#KroherFGS22 %@ 978-1-4503-9443-7

@inproceedings{conf/splc/KroherFGS22, added-at = {2022-08-26T00:00:00.000+0200}, author = {Kröher, Christian and Flöter, Moritz and Gerling, Lea and Schmid, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/24bd865f32b330914d0f6c79856c625ca/dblp}, booktitle = {SPLC (A)}, crossref = {conf/splc/2022a}, editor = {Felfernig, Alexander and Fuentes, Lidia and Cleland-Huang, Jane and Assunção, Wesley K. G. and Falkner, Andreas A. and Azanza, Maider and Luaces, Miguel Á. Rodríguez and Bhushan, Megha and Semini, Laura and Devroey, Xavier and Werner, Cláudia Maria Lima and Seidl, Christoph and Le, Viet-Man and Horcas, José Miguel}, ee = {https://doi.org/10.1145/3546932.3547013}, interhash = {77d8bf4b40166b794e84552409505f9a}, intrahash = {4bd865f32b330914d0f6c79856c625ca}, isbn = {978-1-4503-9443-7}, keywords = {dblp}, pages = 257, publisher = {ACM}, timestamp = {2024-04-10T01:16:00.000+0200}, title = {Incremental software product line verification: a performance analysis with dead variable code.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2022a.html#KroherFGS22}, year = 2022 }