TY  - JOUR

T1  - Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s00165-008-0087-2

PY  - 2008/09/23

AU  - Hierons RM

AU  - Ipate F

ED  - 

DO  - DOI: 10.1007/s00165-008-0087-2

PB  - Association for Computing Machinery (ACM)

VL  - 20

IS  - 6

SP  - 597

EP  - 617

Y2  - 2025/11/05

ER  -