Valery A. Vardanian, Liana B. Mirzoyan. Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 762, IEEE Computer Society, 2000. [doi]
Abstract is missing.