Pham Hong Thai

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Dang Van Hung, Pham Hong Thai: Towards a Template Language for Component-based Programming. Software Engineering Research and Practice 2007: 326-332

2004

1 Pham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309

	2007
2		Dang Van Hung, Pham Hong Thai: Towards a Template Language for Component-based Programming. Software Engineering Research and Practice 2007: 326-332
	2004
1		Pham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309

Coauthor Index