@inproceedings{YushevSikoraSchappacher2016,
  author    = {Artem Yushev and Axel Sikora and Manuel Schappacher},
  title     = {Verification and Validation of 6Lo Protocol Stacks},
  series = {Proceedings of the Wireless Congress 2016},
  address   = {M{\"u}nchen},
  isbn      = {978-3-645-50161-3},
  pages     = {903 -- 907},
  year      = {2016},
  language  = {en}
}