@article{article, title = {{FSM quasi-equivalence testing via reduction and observing absence}}, publisher = {{Elsevier}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/143554 }}, year = {{2019}}, month = {{5}}, author = {{Hierons R}}, doi = {{10.1016/j.scico.2019.03.004}}, volume = {{177}}, journal = {{Science of Computer Programming}}, pages = {{1-18}}, note = {{Accessed on 2025/11/05}}}