Dung Tuan Ho

According to our database, Dung Tuan Ho authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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, Kazuhiro Ogata

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015