TY  - CHAP

T1  - Formalising Extended Finite State Machine Transition Merging

T2  - Formal Methods and Software Engineering

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  - 2024/12/22

ER  -