%0 Thesis %1 phd/dnb/Weckesser19 %A Weckesser, Markus %D 2019 %K dblp %T Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.

@phdthesis{phd/dnb/Weckesser19, added-at = {2021-07-17T00:00:00.000+0200}, author = {Weckesser, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2b4589868c173cfdfd250cf283daf6ca6/dblp}, ee = {https://d-nb.info/1192442512}, interhash = {7427f64fe972f1c3de3651081366cd97}, intrahash = {b4589868c173cfdfd250cf283daf6ca6}, keywords = {dblp}, school = {Darmstadt University of Technology, Germany}, timestamp = {2024-04-09T08:28:35.000+0200}, title = {Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.}, year = 2019 }