Gabriele Boschi, Riccardo Mariani, Stefano Lorenzini. A verification strategy for fault-detection and fault-tolerance circuits. In 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 13-15 July, 2011, Athens, Greece. pages 177-178, IEEE, 2011. [doi]
Abstract is missing.