TY  - JOUR

T1  - FSM quasi-equivalence testing via reduction and observing absence

JO  - Science of Computer Programming

UR  - https://eprints.whiterose.ac.uk/id/eprint/143554

PY  - 2019/05/15

AU  - Hierons R

ED  - 

DO  - DOI: 10.1016/j.scico.2019.03.004

PB  - Elsevier

VL  - 177

SP  - 1

EP  - 18

Y2  - 2025/11/05

ER  -