@INPROCEEDINGS{lehmann:VNC2020,
   author={Bernd Lehmann and Lars Wolf},

   title={Safety Analysis of a Maneuver Coordination Protocol},
   booktitle={2020 IEEE Vehicular Networking Conference (VNC)},
   year=2020,
   month=dec,
   days = {16-18},
   location = {Ulm, Germany},
   ibrgroups="cm",
   ibrauthors = "lehmann wolf"
}