Formalising Extended Finite State Machine Transition Merging.

Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick

Browse the full ICFEM paper archive.