Ho T. Dung

According to our database, Ho T. Dung authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Model Checking Control Flow Petri Nets Using PAT.

Ho T. Dung, Thang H. Bui, Tho T. Quan

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013