TY - JOUR T1 - Using a minimal number of resets when testing from a finite state machine JO - Information Processing Letters UR - https://doi.org/10.1016/j.ipl.2004.03.003 PY - 2004/06/30 AU - Hierons RM ED - DO - DOI: 10.1016/j.ipl.2004.03.003 PB - Elsevier BV VL - 90 IS - 6 SP - 287 EP - 292 Y2 - 2025/11/05 ER -