Model Checking of Computer-Based Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jinzhao Wu, Wei Yan. Model Checking of Computer-Based Systems. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 557-568, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Jinzhao Wu' in GoogleThis author has not been identified. Look up 'Wei Yan' in Google

runs on WebDSL