Author Info
Name
Papers
Collaborators
DUNG TUAN HO
1
2
Citations 
PageRank 
Referers 
0
0.34
0
Referees 
References 
8
6
Title
Citations
PageRank
Year
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing.00.342015