TY  - JOUR

T1  - Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

JO  - ACM Transactions on Software Engineering and Methodology

PY  - 2017/01/01

AU  - Hierons RM

AU  - Türker UC

ED  - 

DO  - DOI: 10.1145/3051121

PB  - Association for Computing Machinery (ACM)

VL  - 26

IS  - 1

SP  - 1

EP  - 34

Y2  - 2024/12/23

ER  -