@inproceedings{inproceedings, title = {{Test generation for X-machines with non-terminal states and priorities of operations}}, publisher = {{IEEE}}, url = {{}}, year = {{-0001}}, month = {{11}}, author = {{Bogdanov KE}}, doi = {{10.1109/ICST.2011.59}}, note = {{Accessed on 2024/12/22}}}