%0 Thesis %1 phd/basesearch/Walter18 %A Walter, Rouven %D 2018 %K dblp %T SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation

@phdthesis{phd/basesearch/Walter18, added-at = {2024-04-15T00:00:00.000+0200}, author = {Walter, Rouven}, biburl = {https://www.bibsonomy.org/bibtex/22e592af6cccfdb775a6faf5efdb21e27/dblp}, ee = {https://www.base-search.net/Record/3135dabab41969cb237b0bfe32f96da1e2db4ce43e479a8813e773c36fa154cc}, interhash = {6f78dc6b8fcc8c9c75b2c4a62afd1c87}, intrahash = {2e592af6cccfdb775a6faf5efdb21e27}, keywords = {dblp}, note = {base-search.net (ftunivtuebing:oai:publikationen.uni-tuebingen.de:10900/80732)}, school = {Tübingen University, Germany}, timestamp = {2024-04-22T07:13:36.000+0200}, title = {SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation}, year = 2018 }