%0 Thesis %1 phd/hal/Barros05 %A Barros, Tomás %D 2005 %K %T Spécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems).

@phdthesis{phd/hal/Barros05, added-at = {2023-12-13T10:37:34.000+0100}, author = {Barros, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/2e726c2ca67adf532e6791d279efbf3eb/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00090718}, interhash = {d94ecb8e77552b5c22aea6c629792820}, intrahash = {e726c2ca67adf532e6791d279efbf3eb}, keywords = {}, school = {University of Nice Sophia Antipolis, France}, timestamp = {2023-12-13T10:37:34.000+0100}, title = {Spécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems).}, year = 2005 }