@article{article, title = {{Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2000}}, month = {{1}}, author = {{Hierons RM and Harman M}}, doi = {{10.1007/s001650070003}}, volume = {{12}}, journal = {{Formal Aspects of Computing}}, issue = {{6}}, pages = {{423-442}}, note = {{Accessed on 2025/06/24}}}