Do Van Chieu

According to our database, Do Van Chieu authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Timed traces and their applications in specification and verification of distributed real-time systems.

Do Van Chieu, Dang Van Hung

Proceedings of the Symposium on Information and Communication Technology 2012, 2012