@article{article, title  = {{Κ-branching UIO sequences for partially specified observable non-deterministic FSMs}},

 publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}},

 url = {{}},

 year = {{2021}},

 month = {{5}},

 author = {{El-Fakih K and Hierons R and Turker UC}},

 volume = {{47}},

 journal = {{IEEE Transactions on Software Engineering}},

 issue = {{5}},

 pages = {{1029-1040}},

 note = {{Accessed on 2025/11/05}}}