Pham Hong Thai

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Dang Van Hung, Pham Hong Thai
Towards a Template Language for Component-based Programming. Software Engineering Research and Practice (2007)
Pham Hong Thai, Dang Van Hung
Verifying Linear Duration Constraints of Timed Automata. ICTAC (2004)