TY  - JOUR

T1  - Estimating the feasibility of transition paths in extended finite state machines

JO  - Automated Software Engineering

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

PY  - 2009/11/03

AU  - Derderian K

AU  - Hierons RM

AU  - Harman M

AU  - Guo Q

ED  - 

DO  - DOI: 10.1007/s10515-009-0057-9

PB  - Springer

VL  - 17

SP  - 33

EP  - 56

Y2  - 2025/11/05

ER  -