A unified framework for generating all propagation functions for logic errors and events

Maria K. Michael, Themistoklis Haniotakis, Spyros Tragoudas. A unified framework for generating all propagation functions for logic errors and events. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(6):980-986, 2004. [doi]

@article{MichaelHT04,
  title = {A unified framework for generating all propagation functions for logic errors and events},
  author = {Maria K. Michael and Themistoklis Haniotakis and Spyros Tragoudas},
  year = {2004},
  doi = {10.1109/TCAD.2004.828112},
  url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2004.828112},
  tags = {logic},
  researchr = {https://researchr.org/publication/MichaelHT04},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {23},
  number = {6},
  pages = {980-986},
}