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

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

 url = {{https://eprints.whiterose.ac.uk/144448/ }},

 year = {{2019}},

 month = {{4}},

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

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

 note = {{Accessed on 2024/12/21}}}