TY  - JOUR

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

JO  - AUTOMAT SOFTW ENG

PY  - 2011/01/01

AU  - Derderian K

AU  - Hierons RM

AU  - Harman M

AU  - Guo Q

ED  - 

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

VL  - 17

IS  - 1

SP  - 33

EP  - 56

Y2  - 2024/12/22

ER  -