%0 Thesis %1 phd/hal/Nguyen10a %A Thanh-Hung, Nguyen %D 2010 %K %T Constructive Verification for Component-based Systems. (Vérification Constructive des Systèmes à base de Composants).

@phdthesis{phd/hal/Nguyen10a, added-at = {2023-12-13T00:47:15.000+0100}, author = {Thanh-Hung, Nguyen}, biburl = {https://www.bibsonomy.org/bibtex/2497bd2b01c0f8f607639e38c8f2c71db/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00485933}, interhash = {6860f42cd0b10740d557229d7cd66a50}, intrahash = {497bd2b01c0f8f607639e38c8f2c71db}, keywords = {}, school = {Grenoble Institute of Technology, France}, timestamp = {2023-12-13T00:47:15.000+0100}, title = {Constructive Verification for Component-based Systems. (Vérification Constructive des Systèmes à base de Composants).}, year = 2010 }