%0 Thesis %1 phd/hal/RomeroHernandez04 %A Romero-Hernandez, Ivan %D 2004 %K dblp %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 = {2020-07-21T00:00:00.000+0200}, author = {Romero-Hernandez, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/21d2d86bb85ffbf60f82e5d92acc85ca6/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00266421}, interhash = {20e3df2fd2971d9e518d91ad5c20453b}, intrahash = {1d2d86bb85ffbf60f82e5d92acc85ca6}, keywords = {dblp}, school = {Grenoble Institute of Technology, France}, timestamp = {2020-07-24T00:48:55.000+0200}, title = {Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles.}, year = 2004 }