Automated Design of Totally Self-Checking Sequential Circuits

Jerzy W. Greblicki, Jerzy Kotowski. Automated Design of Totally Self-Checking Sequential Circuits. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers. Volume 5717 of Lecture Notes in Computer Science, pages 98-105, Springer, 2009. [doi]

@inproceedings{GreblickiK09,
  title = {Automated Design of Totally Self-Checking Sequential Circuits},
  author = {Jerzy W. Greblicki and Jerzy Kotowski},
  year = {2009},
  doi = {10.1007/978-3-642-04772-5_14},
  url = {http://dx.doi.org/10.1007/978-3-642-04772-5_14},
  tags = {design},
  researchr = {https://researchr.org/publication/GreblickiK09},
  cites = {0},
  citedby = {0},
  pages = {98-105},
  booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},
  editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada-Arencibia},
  volume = {5717},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04771-8},
}