Toshiki Kinoshita, Toshiyuki Miyamoto. Synthesizing state machines from two scenarios and a case study on business process management. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017. pages 1782-1786, IEEE, 2017. [doi]
Abstract is missing.