@phdthesis{Ngu10a,
title = {Constructive Verification for Component-based Systems },
author = {Nguyen, Thanh-Hung},
month = {May},
year = {2010},
school = {Universite de Grenoble},
team = {DCS},
}
