%0 Journal Article %1 journals/sttt/SchmerlVK11 %A Schmerl, Sebastian %A Vogel, Michael %A König, Hartmut %D 2011 %J STTT %K dblp %N 1 %P 89-106 %T Using model checking to identify errors in intrusion detection signatures. %U http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#SchmerlVK11 %V 13

@article{journals/sttt/SchmerlVK11, added-at = {2011-04-11T00:00:00.000+0200}, author = {Schmerl, Sebastian and Vogel, Michael and König, Hartmut}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2622d41ca9c2433e9e7ea661cb9342a50/dblp}, ee = {http://dx.doi.org/10.1007/s10009-010-0166-6}, interhash = {909b767642383a37dcceb6d962427394}, intrahash = {622d41ca9c2433e9e7ea661cb9342a50}, journal = {STTT}, keywords = {dblp}, number = 1, pages = {89-106}, timestamp = {2016-02-02T09:11:30.000+0100}, title = {Using model checking to identify errors in intrusion detection signatures.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#SchmerlVK11}, volume = 13, year = 2011 }