%0 Conference Paper %1 conf/dft/FeitenSSCBPB12 %A Feiten, Linus %A Sauer, Matthias %A Schubert, Tobias %A Czutro, Alexander %A Böhl, Eberhard %A Polian, Ilia %A Becker, Bernd %B DFT %D 2012 %I IEEE Computer Society %K dblp %P 49-54 %T #SAT-based vulnerability analysis of security components - A case study. %U http://dblp.uni-trier.de/db/conf/dft/dft2012.html#FeitenSSCBPB12 %@ 978-1-4673-3043-5

@inproceedings{conf/dft/FeitenSSCBPB12, added-at = {2014-11-10T00:00:00.000+0100}, author = {Feiten, Linus and Sauer, Matthias and Schubert, Tobias and Czutro, Alexander and Böhl, Eberhard and Polian, Ilia and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/234838b048549d8c6df74d0c232869cb3/dblp}, booktitle = {DFT}, crossref = {conf/dft/2012}, ee = {http://doi.ieeecomputersociety.org/10.1109/DFT.2012.6378198}, interhash = {5736d630bc3120228009cc55332aa8f4}, intrahash = {34838b048549d8c6df74d0c232869cb3}, isbn = {978-1-4673-3043-5}, keywords = {dblp}, pages = {49-54}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:13:58.000+0100}, title = {#SAT-based vulnerability analysis of security components - A case study.}, url = {http://dblp.uni-trier.de/db/conf/dft/dft2012.html#FeitenSSCBPB12}, year = 2012 }