@misc{LorenzKiekhebenSchnor2017,
  author    = {Claas Lorenz and Sebastian Kiekheben and Bettina Schnor},
  title     = {FaVe: Modeling IPv6 firewalls for fast formal verification},
  booktitle = {International Conference on Networked Systems (NetSys) 2017},
  doi       = {10.1109/NetSys.2017.7903956},
  institution = {Hasso-Plattner-Institut f{\"u}r Digital Engineering gGmbH},
  type      = {other},
  pages     = {8},
  year        = {2017},
}