TY  - JOUR

T1  - Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

JO  - Theoretical Computer Science

UR  - https://doi.org/10.1016/j.tcs.2004.04.002

PY  - 2004/09/14

AU  - Hierons RM

AU  - Harman M

ED  - 

DO  - DOI: 10.1016/j.tcs.2004.04.002

PB  - Elsevier BV

VL  - 323

IS  - 1-3

SP  - 191

EP  - 233

Y2  - 2025/11/05

ER  -