Some Improvements for More Precise Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhi Zhang, Qingkai Zeng, Ming Huang. Some Improvements for More Precise Model Checking. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. pages 106-112, Knowledge Systems Institute Graduate School, 2010.

This author has not been identified. Look up 'Zhi Zhang' in GoogleThis author has not been identified. Look up 'Qingkai Zeng' in GoogleThis author has not been identified. Look up 'Ming Huang' in Google

runs on WebDSL