TY  - JOUR

T1  - Κ-branching UIO sequences for partially specified observable non-deterministic FSMs

JO  - IEEE Transactions on Software Engineering

UR  - https://eprints.whiterose.ac.uk/144448/

PY  - 2019/04/15

AU  - El-Fakih K

AU  - Hierons R

AU  - Turker UC

ED  - 

PB  - Institute of Electrical and Electronics Engineers (IEEE)

Y2  - 2024/12/21

ER  -