TY  - CONF

T1  - Test generation for X-machines with non-terminal states and priorities of operations

PY  - -0001/11/30

AU  - Bogdanov KE

ED  - 

DO  - DOI: 10.1109/ICST.2011.59

PB  - IEEE

Y2  - 2024/12/22

ER  -