基于扩展变迁系统的分布式系统一致性测试研究
毕军;吴建平;朱江
Research on Extended Transition Systems Based Conformance Testing for Distributed Systems
BI Jun;WU Jian-ping;ZHU Jiang
电子学报 . 2000, (2): 130 -132 .