@phdthesis{Ngu10b,
title = { {Constructive Verification for Component-based Systems} },
author = {Nguyen, Thanh-Hung},
month = {May},
year = {2010},
type = {Theses},
school = {{Institut National Polytechnique de Grenoble - INPG}},
team = {DCS, RSD},
keywords = {compositional verification ; incremental verification ; incremental design ; deadlock detection ; static analysis ; BIP ; v{\'e}rification compositionnelle ; verification incr{\'e}mentale ; conception incr{\'e}mentale ; invariant ; d{\'e}tection de blocage ; analyse statique ; D-Finder},
pdf = {https://tel.archives-ouvertes.fr/tel-00485933/file/thesis-hung-nguyen.pdf},
}