%0 Thesis %1 phd/dnb/Kroher23 %A Kröher, Christian %D 2023 %K dblp %T Evolutionary Verification of Consistency Properties in Software Product Lines.

@phdthesis{phd/dnb/Kroher23, added-at = {2024-01-24T00:00:00.000+0100}, author = {Kröher, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2d252efb33fe1035106294ad877e9cd0a/dblp}, ee = {https://d-nb.info/1310008264}, interhash = {7a43c2ba371cece3e8e7c1d787ddf15e}, intrahash = {d252efb33fe1035106294ad877e9cd0a}, keywords = {dblp}, school = {University of Hildesheim, Germany}, timestamp = {2024-04-09T08:12:43.000+0200}, title = {Evolutionary Verification of Consistency Properties in Software Product Lines.}, year = 2023 }