Pham Hong Thai

According to our database, Pham Hong Thai authored at least 2 papers between 2004 and 2007.

Collaborative distances:

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

2007

Towards a Template Language for Component-based Programming.

Dang Van Hung, Pham Hong Thai

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2004

Verifying Linear Duration Constraints of Timed Automata.

Pham Hong Thai, Dang Van Hung

Proceedings of the Theoretical Aspects of Computing, 2004