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]
Abstract is missing.