Verifying hardware in its software context - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. Verifying hardware in its software context. In ICCAD. pages 742-749, 1997. [doi]

This author has not been identified. Look up 'Robert P. Kurshan' in GoogleThis author has not been identified. Look up 'Vladimir Levin' in GoogleThis author has not been identified. It may be one of the following persons:

Marius Minea

Look up 'Marius Minea' in GoogleThis author has not been identified. Look up 'Doron Peled' in GoogleThis author has not been identified. Look up 'Hüsnü Yenigün' in Google

runs on WebDSL