Eskil Kjelkerud, Owe Thessén. Generation of hazard free tests using the D-algorithm in a timing accurate system for logic and deductive fault simulation. In David W. Hightower, editor, Proceedings of the 16th Design Automation Conference, DAC '79, San Diego, California, USA, June 25-27, 1979. pages 180-184, ACM, 1979. [doi]
Abstract is missing.