Synthesizing state machines from two scenarios and a case study on business process management.

Toshiki Kinoshita, Toshiyuki Miyamoto

Browse the full SMC paper archive.