Modeling and Verification of a Network Player System with DCValid - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianzhong Wang, Qiwen Xu, Huadong Ma. Modeling and Verification of a Network Player System with DCValid. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 44-52, IEEE Computer Society, 2000. [doi]

This author has not been identified. Look up 'Jianzhong Wang' in GoogleThis author has not been identified. Look up 'Qiwen Xu' in GoogleThis author has not been identified. Look up 'Huadong Ma' in Google

runs on WebDSL