Formal Verification of C-element Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-Allory. Formal Verification of C-element Circuits. In 17th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2011, Cornell University, Ithaca, New York, USA, 27-29 April 2011. pages 55-64, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Chao Yan' in GoogleThis author has not been identified. Look up 'Florent Ouchet' in GoogleThis author has not been identified. Look up 'Laurent Fesquet' in GoogleThis author has not been identified. Look up 'Katell Morin-Allory' in Google

runs on WebDSL