Equivalence checking: a rule-based approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiro Fujita, Subash Shankar, S. Shunsuke. Equivalence checking: a rule-based approach. In 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA. pages 197, IEEE, 2006. [doi]

This author has not been identified. Look up 'Masahiro Fujita' in GoogleThis author has not been identified. Look up 'Subash Shankar' in GoogleThis author has not been identified. Look up 'S. Shunsuke' in Google

runs on WebDSL