TY  - JOUR

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

JO  - Formal Aspects of Computing

PY  - 2000/01/01

AU  - Hierons RM

AU  - Harman M

ED  - 

DO  - DOI: 10.1007/s001650070003

PB  - Springer Science and Business Media LLC

VL  - 12

IS  - 6

SP  - 423

EP  - 442

Y2  - 2024/10/23

ER  -