@article{article, title = {{Checking experiments for stream X-machines}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2010}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1016/j.tcs.2010.05.014}}, volume = {{411}}, journal = {{Theoretical Computer Science}}, issue = {{37}}, pages = {{3372-3385}}, note = {{Accessed on 2024/12/22}}}