Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing. - Dung Tuan Ho; Min Zhang 002; Kazuhiro Ogata 001 (ILP (Late Breaking Papers), 2015)