Zhongping Tao, Gregor von Bochmann, Rachida Dssouli. Verification and diagnosis of testing equivalence and reduction relation. In 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. pages 14-21, IEEE Computer Society, 1995. [doi]
Abstract is missing.