%0 Journal Article %A G. R. Pogosyan %T On the length of verifying tests for logic networks %J Doklady Akademii Nauk %D 1982 %P 546-550 %V 263 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1982_263_3_a7/ %G ru %F DAN_1982_263_3_a7