Testability Properties of Vertex Precedent BDDs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'André Inácio Reis' in GoogleThis author has not been identified. Look up 'A. Prado' in GoogleThis author has not been identified. Look up 'Marcelo Lubaszewski' in Google

runs on WebDSL