TY  - JOUR

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

JO  - Science of Computer Programming

UR  - http://eprints.whiterose.ac.uk/143554/

PY  - 2019/03/18

AU  - Hierons R

ED  - 

DO  - DOI: 10.1016/j.scico.2019.03.004

PB  - Elsevier

Y2  - 2024/12/22

ER  -