TY - JOUR T1 - Using a minimal number of resets when testing from a finite state machine JO - Information Processing Letters PY - 2004/01/01 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/04/17 ER -