TY  - JOUR

T1  - Checking experiments for stream X-machines

JO  - Theoretical Computer Science

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

PY  - 2010/08/07

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1016/j.tcs.2010.05.014

PB  - Elsevier BV

VL  - 411

IS  - 37

SP  - 3372

EP  - 3385

Y2  - 2025/11/05

ER  -