$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms

Home > Research > Publications & Outputs > $\mathcal k$-branching uio sequences for partia...

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

<mark>Journal publication date</mark>	1/05/2021
<mark>Journal</mark>	IEEE Transactions on Software Engineering
Issue number	5
Volume	47
Number of pages	12
Pages (from-to)	1029-1040
Publication Status	Published
Early online date	14/04/19
<mark>Original language</mark>	English

Research