Proof that Akers'' Algorithm for Locally Exhaustive Testing Gives Minimum Test Sets of Combinational Circuits with up to Four Outputs.
MICHINISHI H.
Proceedings of the Second Asian Test Symposium
pp.14-19
14
19
http://ci.nii.ac.jp/naid/10003042610