%0 Thesis %1 phd/hal/RomeroHernandez04 %A Romero-Hernandez, Ivan %D 2004 %K %T Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles.

@phdthesis{phd/hal/RomeroHernandez04, added-at = {2023-12-12T19:27:01.000+0100}, author = {Romero-Hernandez, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/21d2d86bb85ffbf60f82e5d92acc85ca6/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00266421}, interhash = {20e3df2fd2971d9e518d91ad5c20453b}, intrahash = {1d2d86bb85ffbf60f82e5d92acc85ca6}, keywords = {}, school = {Grenoble Institute of Technology, France}, timestamp = {2023-12-12T19:27:01.000+0100}, title = {Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles.}, year = 2004 }