André Inácio Reis, A. Prado, Marcelo Lubaszewski. Testability Properties of Vertex Precedent BDDs. In Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2000, Manaus, Brazil, September 18-24, 2000. pages 15-20, IEEE Computer Society, 2000. [doi]
@inproceedings{ReisPL00,
title = {Testability Properties of Vertex Precedent BDDs},
author = {André Inácio Reis and A. Prado and Marcelo Lubaszewski},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/827245.827285},
researchr = {https://researchr.org/publication/ReisPL00},
cites = {0},
citedby = {0},
pages = {15-20},
booktitle = {Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2000, Manaus, Brazil, September 18-24, 2000},
publisher = {IEEE Computer Society},
isbn = {0-7695-0843-X},
}