Verification and diagnosis of testing equivalence and reduction relation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhongping Tao' in GoogleThis author has not been identified. Look up 'Gregor von Bochmann' in GoogleThis author has not been identified. Look up 'Rachida Dssouli' in Google

runs on WebDSL