@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/10/23}}}