TY  - CHAP

T1  - Formalising Extended Finite State Machine Transition Merging

T2  - Lecture Notes in Computer Science

UR  - https://doi.org/10.1007/978-3-030-02450-5_22

PY  - 2018/01/01

AU  - Foster M

AU  - Taylor RG

AU  - Brucker AD

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/978-3-030-02450-5_22

PB  - Springer International Publishing

SN  - 9783030024499

SP  - 373

EP  - 387

Y2  - 2025/11/27

ER  -