@phdthesis{Gerber1995,
  author    = {Gerber, Stefan},
  title     = {Using software for fault detection in arithmetical circuits},
  pages     = {123 S.},
  year      = {1995},
  language  = {en}
}
@article{GerberGoessel1994,
  author    = {Gerber, Stefan and G{\"o}ssel, Michael},
  title     = {Detection of permanent faults of a floating point adder by pseudoduplication},
  year      = {1994},
  language  = {en}
}
@article{StoffelKunzGerber1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang and Gerber, Stefan},
  title     = {And/Or reasoning graphs for determining prime implicants in multi-level combinational networks},
  year      = {1997},
  language  = {en}
}