Vol-1635⫷ Vol-1636 ⫸Vol-1637
urn:nbn:de:0074-1636-0


Vol-1636/paper-02⫷Vol-1636/paper-03⫸Vol-1636/paper-04
Dung Tuan HoMin Zhang 0002Kazuhiro Ogata 0001

Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programming