@article{article, title = {{The complexity of asynchronous model based testing}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1016/j.tcs.2012.05.038}}, volume = {{451}}, journal = {{Theoretical Computer Science}}, pages = {{70-82}}, note = {{Accessed on 2024/12/21}}}