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/189243/

PY  - 2022/06/23

AU  - Taylor R

AU  - Foster M

AU  - North S

ED  - 

Y2  - 2024/12/23

ER  -