@prefix marcrel: . @prefix ns1: . @prefix ns2: . ns1:id marcrel:aut ns2:id . @prefix ns3: . ns1:id marcrel:aut ns3:id . @prefix ns4: . ns1:id marcrel:aut ns4:id . @prefix ns5: . ns1:id marcrel:aut ns5:id . @prefix ns6: . ns1:id marcrel:aut ns6:id . @prefix ns7: . ns1:id marcrel:aut ns7:id . @prefix ns8: . ns1:id marcrel:aut ns8:id . @prefix dcterms: . ns1:id dcterms: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. ⟨10.1007/s11334-010-0122-3⟩" . @prefix dc: . ns1:id dc:date "2010" .