<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/115940820/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/070750882/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/127121056/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/129136204/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/154525707/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/137582609/id> .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://purl.org/dc/elements/1.1/date>	"2010" .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. &#x27E8;10.1007/s11334-010-0122-3&#x27E9;" .
<https://hal.archives-ouvertes.fr/inria-00594387#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/137591489/id> .