TY - JOUR T1 - Reduced length checking sequences JO - IEEE Transactions on Computers PY - 2002/01/01 AU - Hierons RM AU - Ural H ED - DO - DOI: 10.1109/tc.2002.1032630 PB - Institute of Electrical and Electronics Engineers (IEEE) VL - 37 IS - 9 SP - 1111 EP - 1117 Y2 - 2024/12/21 ER -