Hoang Truong Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2005

3 EE Hoang Truong: Guaranteeing Resource Bounds for Component Software. FMOODS 2005: 179-194

2 EE Hoang Truong, Marc Bezem: Finding Resource Bounds in the Presence of Explicit Deallocation. ICTAC 2005: 227-241

2004

1 EE Marc Bezem, Hoang Truong: A Type System for the Safe Instantiation of Components. Electr. Notes Theor. Comput. Sci. 97: 197-217 (2004)

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

Coauthor Index

1 Marc Bezem [1] [2]