TY  - RPRT
TI  - Reliable System Specification for Self-Checking Data-Paths
AU  - C. Bolchini
AU  - F. Salice
AU  - D. Sciuto
AU  - L. Pomante
PY  - 2007
UR  - https://arxiv.org/abs/0710.4685
ID  - 0710.4685
ER  -