TY  - JOUR

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

JO  - Automated Software Engineering

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

PY  - 2010/01/01

AU  - Derderian K

AU  - Hierons RM

AU  - Harman M

AU  - Guo Q

ED  - 

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

PB  - Springer Science and Business Media LLC

VL  - 17

IS  - 1

SP  - 33

EP  - 56

Y2  - 2024/12/22

ER  -