Synthesizing multiple boolean functions using interpolation on a single proof - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem. Synthesizing multiple boolean functions using interpolation on a single proof. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. pages 77-84, IEEE, 2013. [doi]

This author has not been identified. Look up 'Georg Hofferek' in GoogleThis author has not been identified. Look up 'Ashutosh Gupta' in GoogleThis author has not been identified. Look up 'Bettina Könighofer' in GoogleThis author has not been identified. Look up 'Jie-Hong Roland Jiang' in GoogleThis author has not been identified. Look up 'Roderick Bloem' in Google

runs on WebDSL