| |
| 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 | EE | Pham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309 |
| 1 | Dang Van Hung | [1] [2] |