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