@article{DimitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Alexej Dimitriev and V. V. Saposhnikov and Vl. V. Saposhnikov and Michael G{\"o}ssel},
  title     = {Concurrent checking of sequential circuits by alternating inputs},
  year      = {1999},
}