Kundan Nepal, Nuno Alves, Jennifer Dworak, R. Iris Bahar. Using Implications for Online Error Detection. In Douglas Young, Nur A. Touba, editors, 2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008. pages 1-10, IEEE, 2008. [doi]
@inproceedings{NepalADB08,
title = {Using Implications for Online Error Detection},
author = {Kundan Nepal and Nuno Alves and Jennifer Dworak and R. Iris Bahar},
year = {2008},
doi = {10.1109/TEST.2008.4700614},
url = {http://dx.doi.org/10.1109/TEST.2008.4700614},
researchr = {https://researchr.org/publication/NepalADB08},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008},
editor = {Douglas Young and Nur A. Touba},
publisher = {IEEE},
isbn = {978-1-4244-2403-0},
}