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