Vladimir Hahanov, Raimund Ubar, Stanley Hyduke. Back-Traced Deductive-Parallel Fault Simulation for Digital Systems. In 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), Architectures, Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey. pages 370-377, IEEE Computer Society, 2003. [doi]
Abstract is missing.