Verification and diagnosis of testing equivalence and reduction relation.

Zhongping Tao, Gregor von Bochmann, Rachida Dssouli

Browse the full ICNP paper archive.