Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy. Synthesis of state machine models. In Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão, editors, MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. pages 274-284, ACM, 2020. [doi]
Abstract is missing.