Abstract
The bound on the length of checking experiments derived by Murakami et al. [1] is improved by using a more efficient output specification in the counter cycle.

This publication has 2 references indexed in Scilit: