TY  - JOUR

T1  - An automated framework for verifying or refuting trace properties of extended finite state machines

JO  - International Journal on Software Tools for Technology Transfer

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

PY  - 2022/07/29

AU  - Taylor R

AU  - Foster M

AU  - North S

ED  - 

DO  - DOI: 10.1007/s10009-022-00666-y

PB  - Springer

VL  - 24

IS  - 6

SP  - 949

EP  - 972

Y2  - 2025/12/07

ER  -