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  - 2024/12/23

ER  -