@inbook{47841,
  author       = {{Fourné, Marcel and Petersen, Dominique and Pohlmann, Norbert}},
  booktitle    = {{INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt}},
  isbn         = {{978-3-88579-614-5}},
  pages        = {{2213–2224}},
  publisher    = {{Gesellschaft für Informatik e.V.}},
  title        = {{{Attack-test and verification systems, steps towards verifiable anomaly detection}}},
  year         = {{2013}},
}