| 2005 | ||
|---|---|---|
| 3 | Hoang Truong: Guaranteeing Resource Bounds for Component Software. FMOODS 2005: 179-194 | |
| 2 | Hoang Truong, Marc Bezem: Finding Resource Bounds in the Presence of Explicit Deallocation. ICTAC 2005: 227-241 | |
| 2004 | ||
| 1 | Marc Bezem, Hoang Truong: A Type System for the Safe Instantiation of Components. Electr. Notes Theor. Comput. Sci. 97: 197-217 (2004) | |
| 1 | Marc Bezem | [1] [2] |