A parallel approach to symbolic traversal based on set partitioning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer. A parallel approach to symbolic traversal based on set partitioning. In Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, pages 167-184, Chapman & Hall, 1997.

This author has not been identified. Look up 'Gianpiero Cabodi' in GoogleThis author has not been identified. Look up 'Paolo Camurati' in GoogleThis author has not been identified. Look up 'Antonio Lioy' in GoogleThis author has not been identified. Look up 'Massimo Poncino' in GoogleThis author has not been identified. Look up 'Stefano Quer' in Google

runs on WebDSL