Property Checking based on Hierarchical Integer Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bijan Alizadeh, Zainalabedin Navabi. Property Checking based on Hierarchical Integer Equations. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. pages 26-35, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Bijan Alizadeh' in GoogleThis author has not been identified. Look up 'Zainalabedin Navabi' in Google

runs on WebDSL