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]
Abstract is missing.