TY  - JOUR

T1  - Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s001650070003

PY  - 2000/01/01

AU  - Hierons RM

AU  - Harman M

ED  - 

DO  - DOI: 10.1007/s001650070003

PB  - Association for Computing Machinery (ACM)

VL  - 12

IS  - 6

SP  - 423

EP  - 442

Y2  - 2025/11/05

ER  -