@article{KunzPradhan1994,
  author    = {Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization},
  year      = {1994},
  language  = {en}
}
@article{Tarnick1994,
  author    = {Tarnick, Steffen},
  title     = {Bounding error masking in linear output space compression schemes},
  year      = {1994},
  language  = {en}
}
@article{Tarnick1994,
  author    = {Tarnick, Steffen},
  title     = {Controllable self-checking checkers for conditional concurrent checking},
  year      = {1994},
  language  = {en}
}
@article{Boehlau1994,
  author    = {B{\"o}hlau, Peter},
  title     = {Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models},
  year      = {1994},
  language  = {en}
}
@article{KunzMenon1994,
  author    = {Kunz, Wolfgang and Menon, P.},
  title     = {Multi-level logic optimization by implication analysis},
  isbn      = {0-89791-690-5},
  year      = {1994},
  language  = {en}
}
@article{Cobernuss1994,
  author    = {Cobernuss, M.},
  title     = {Bused interconnection network for parallel memory with linear storage},
  isbn      = {3-05-501602-5},
  year      = {1994},
  language  = {en}
}
@article{GoesselSogomonyan1994,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Self-parity combinational-circuits for self-testing, concurrent fault-detection and parity scan design},
  year      = {1994},
  language  = {en}
}
@article{GoesselMorosovSaposhnikovetal.1994,
  author    = {G{\"o}ssel, Michael and Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, VL. V.},
  title     = {Design of combinational self-testing devices with unidirectionally independent outputs},
  year      = {1994},
  language  = {en}
}
@article{BogueJuergensenGoessel1994,
  author    = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael},
  title     = {Design of cover circuits for monitoring the output of a MISR},
  isbn      = {0-8186-6307-3 , 0-8186-6306-5},
  year      = {1994},
  language  = {en}
}
@article{GoesselSogomonyan1994,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Code disjoint self-parity combinational circuits for self-testing, concurrent fault detection and parity scan design},
  year      = {1994},
  language  = {en}
}