BDD Based Procedures for a Theory of Equality with Uninterpreted Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal. BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design, 22(3):205-224, 2003. [doi]

This author has not been identified. Look up 'Anuj Goel' in GoogleThis author has not been identified. Look up 'Khurram Sajid' in GoogleThis author has not been identified. Look up 'Hai Zhou' in GoogleThis author has not been identified. Look up 'Adnan Aziz' in GoogleThis author has not been identified. Look up 'Vigyan Singhal' in Google

runs on WebDSL