@techreport{MoellerHoefner2019,
  author    = {Bernhard M{\"o}ller and Peter H{\"o}fner},
  title     = {A new correctness proof for prim's algorithm},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  series    = {Reports / Technische Berichte der Fakult{\"a}t f{\"u}r Angewandte Informatik der Universit{\"a}t Augsburg},
  number    = {2019-02},
  pages     = {10},
  year      = {2019},
}