Norbert Giambiasi, A. Miara, D. Muriach. Methods for generalized deductive fault simulation. In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 386-392, ACM/IEEE, 1980. [doi]
Abstract is missing.