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]
@inproceedings{HahanovUH03,
title = {Back-Traced Deductive-Parallel Fault Simulation for Digital Systems},
author = {Vladimir Hahanov and Raimund Ubar and Stanley Hyduke},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/dsd/2003/2003/00/20030370abs.htm},
researchr = {https://researchr.org/publication/HahanovUH03},
cites = {0},
citedby = {0},
pages = {370-377},
booktitle = {2003 Euromicro Symposium on Digital Systems Design (DSD 2003), Architectures, Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey},
publisher = {IEEE Computer Society},
isbn = {0-7695-2003-0},
}