Cristiana Bolchini, Donatella Sciuto. An Output/State Encoding for Self-Checking Finite State Machine. In ISCAS. pages 2136-2139, 1995.
@inproceedings{BolchiniS95, title = {An Output/State Encoding for Self-Checking Finite State Machine}, author = {Cristiana Bolchini and Donatella Sciuto}, year = {1995}, tags = {state machines}, researchr = {https://researchr.org/publication/BolchiniS95}, cites = {0}, citedby = {0}, pages = {2136-2139}, booktitle = {ISCAS}, }