@article{GerberGoessel1994,
  author    = {Stefan Gerber and Michael G{\"o}ssel},
  title     = {Detection of permanent faults of a floating point adder by pseudoduplication},
  year      = {1994},
}