Inference of Extended Finite State Machines
by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick
Ramsay G. Taylor
2020
A Formal Model of Extended Finite State Machines
by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick