TY - JOUR T1 - Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports JO - IEEE Transactions on Computers PY - 2011/01/01 AU - Hierons R ED - DO - DOI: 10.1109/tc.2010.238 PB - Institute of Electrical and Electronics Engineers (IEEE) VL - 60 IS - 12 SP - 1818 EP - 1822 Y2 - 2025/04/06 ER -