@phdthesis{Marienfeld2007,
  author    = {Marienfeld, Daniel},
  title     = {Effiziente Fehlerkennung f{\"u}r arithmetische Einheiten},
  address   = {Potsdam},
  pages     = {VIII, 122 S. : graph. Darst.},
  year      = {2007},
  language  = {de}
}